Re: [PATCH] git-revert is one of the most misunderstood command in git, help users out.

tisdag 06 november 2007 skrev Mike Hommey:

Maybe the documentation could emphasise on how to undo things when the
user makes mistakes.
Sometimes, saving your repo can be as simple as git reset --hard HEAD@{1}.
This is not, unfortunately, a works-for-all-cases command.

Yea, git-undo(7). 

-- robin