On Mon, Feb 25, 2013 at 8:07 PM, Matthieu Moy <matthieu....@grenoble-inp.fr> wrote: > Antoine Pelisse <apeli...@gmail.com> writes: > >> I must say that I'm not very interested in the feature. In my opinion, >> there are already many different ways to stage changes. >> Assuming that the feature would be needed, I would keep it under the >> scope of git-add, as it's the reference for staging. I would suggest >> something like: >> >> git add -r "Stage removal of deleted files." > > Would "add -r" stand for "add --remove"? That would be weird ...
Yes (for --remove), It would not be weird if you consider the opposite of add to be reset (and not rm). > "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". Here the files are already removed, we only need to stage and the best command to stage changes is add. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
