I ran into a merge conflict. How do I abort the merge?

Since your pull was unsuccessful then HEAD (not HEAD^) is the last “valid” commit on your branch:

git reset --hard HEAD

The other piece you want is to let their changes over-ride your changes.

Older versions of git allowed you to use the “theirs” merge strategy:

git pull --strategy=theirs remote_branch

But this has since been removed, as explained in this message by Junio Hamano (the Git maintainer). As noted in the link, instead you would do this:

git fetch origin
git reset --hard origin

Leave a Comment