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

Reply via email to