git rm –cachedは別の場所では削除される

git rm –cached
を使ったレポジトリからのファイル外しだが、
このコマンドを実行したユーザ自体は確かに削除されない。

ただこの後に共有レポジトリにデータを送り込み、
その共有レポジトリを使って

git pull

した人は、ファイルが削除されてしまう。
この点は要注意。

git pullした人も削除されない方法、誰か知らない?おせーて。