[gerrit_changes.py] Reset repo to HEAD if merge fails