Antoine Pelisse <apelisse@xxxxxxxxx> writes: >> "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/ -- 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