Re: On removing files and "git-rm is pointless"

Nicolas Pitre [off-list ref] 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.