Undo a pushed merge with git

Undo a pushed merge with git