Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes:
> 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?
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
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
