git を使っていて，後からファイルをリポジトリから削除したいという場合があります． git rmを用いるとファイルをリポジトリから削除することが可能ですが，今回は過去の履歴からもファイルを除外したい場合の操作について紹介します．