Situation: I untrack some files keeping them locally. Files are removed from the index and kept in working tree. Then I commit and push to remote. Files will be deleted from remote repository.
What will happen to other people when they pull? Will their local file be deleted (like remote) or will they keep their local copy, untracked (like my working tree)?