If you .gitignore and git rm a file simultaneously, will it delete someone's local copy?