From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 06 Nov 2007 22:25:48 GMT
Subject: Re: [PATCH] git-revert is one of the most misunderstood command in git, help users out.
Message-ID: <Pine.LNX.4.64.0711062225090.4362@racer.site>
In-Reply-To: <200711062221.58475.robin.rosenberg.lists@dewire.com>

Hi,

On Tue, 6 Nov 2007, Robin Rosenberg wrote:

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

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

Ciao,
Dscho