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

Johannes Schindelin [off-list ref] writes:

On Tue, 6 Nov 2007, Robin Rosenberg wrote:

quoted

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?

Most file systems don't have a reflog or other ways to recover from
shooting yourself in the foot.  git has, and for good reason.

There is no sense in hiding that facility away because of feeling
macho.  Since git already keeps the file space around needed for
recovery (and you really have to exert yourself to make it let go for
good), there is no point in not making it as convenient as feasible to
recover.

-- 
David Kastrup