git rm --cachedした後、他の人が除外commitをgit pullしたときにファイルが消える

概要

emacs .gitignore
git rm --cached file
git commit -m "ignore file"

の後に自分のファイルは残っている。 誰かがこのcommitをpullすると、その人は除外したファイルが消える。

当たり前？

除外commitにファイルの削除が含まれているので当たり前かもしれない。 commitした人自身の環境でも、除外commit以前に戻し、その後除外commitをまたいでpullすると削除される。

要は、消えないで残るのは除外commit後をpullする時。

除外するファイルをバックアップ取っておいて、git除外後に再配置するという原始的な方法で保つことにした。