On Wed, May 27, 2015 at 7:34 AM Dmitry Gutov <dgutov@yandex.ru> wrote:

> On 05/27/2015 02:26 PM, Kelvin White wrote:
>
> > This should not remove it from someone's local working copy, only from
> > the repository.
>
> It'll be removed from everyone else's working directories next time they
> do a pull.
>
> Why are we still discussing this? 'git rm --cached' is obviously not the
> right solution.


>
Because I think you are misunderstanding that the file will only be removed
locally, from another persons working directory had that file been tracked
before. If this is a new file, that hasn't been tracked and you don't want
it tracked, Then this _is_ the obvious solution.