Provide 'git merge --abort' as a synonym to 'git reset --merge'