ちなみに

火曜日の空は僕を押しつぶした。

リポジトリ依存のファイルを自分だけGit管理から外したい

特定のリポジトリのみに存在するファイルで、自分だけGit管理から外したい場合がある。 例えば自分だけ使っているツールの出力とか。

リポジトリ.gitignore にも書きにくいし、global にもあんまり書きたくない。 そういったときは .git/info/exclude が使えるらしい。(doc)

ここに書いておいたら無視できた。

% cat .git/info/exclude
# git ls-files --others --exclude-from=.git/info/exclude
# Lines that start with '#' are comments.
# For a project mostly in C, the following would be a good set of
# exclude patterns (uncomment them if you want to use them):
# *.[oa]
# *~