git: git merge --abort