Re: On removing files and "git-rm is pointless"
- From
Junio C Hamano <junkio@cox.net>
- Date
- Dec 4, 2006, 10:13 UTC
- 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:
Show 10 quoted lines
> 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.