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

Hi,

On Tue, 6 Nov 2007, Robin Rosenberg wrote:

tisdag 06 november 2007 skrev Mike Hommey:

quoted

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). 

In related news, I know a few users who need an un-rm-rf.  Anyone?

Ciao,
Dscho