Antoine Pelisse [off-list ref] writes:
quoted
"git rm" really seems to be a better place for removing files from the
index.
Then, I don't exactly understand the meaning of git-rm but being a
_shortcut_ for "remove and stage".
"git rm --cached" is exactly "remove from index".
And even without --cached, as you notice yourself, it does a "remove and
stage [removal]", so why would it be inappropriate to stage a removal?
--
Matthieu Moy
http://www-verimag.imag.fr/~moy/