gitに登録しているファイルを管理からはずす（ファイルは消さない）

.gitignoreに追加すべきものを間違えてaddしてしまったとき、主に開発環境用の個人向け設定ファイル（.idea/*）とかをgit管理からはずしたいときは、git rmを使う。

$ git rm .idea/*

意外と今日初めて使った。