/usr/share/doc/git/howto/revert-a-faulty-merge.html