From: Junio C Hamano <junkio@cox.net>
Date: Mon, 04 Dec 2006 10:13:43 GMT
Subject: Re: On removing files and "git-rm is pointless"
Message-ID: <7vd570q888.fsf@assigned-by-dhcp.cox.net>
In-Reply-To: <Pine.LNX.4.64.0612022246310.2630@xanadu.home>

Nicolas Pitre <nico@cam.org> writes:

> I think what Linus is proposing makes tons of sense.
>
> If you do git rm by mistake then you can always do git checkout on that
> file to get it back.
>
> If you modified it so it doesn't match the index then git rm won't do
> anything by default so you have a chance to think a bit more.
>
> If you updated the index, didn't commit anything but then do git rm then
> you certainly wanted to really rm the file.

FWIW, I too am in favor of the proposed fix to "git rm" as Linus
outlined.