プロジェクトの最初の頃はログデータもgithubにアップしてた方が楽だったが、徐々に規模が大きくなってくるとログデータが重くなってくる。
そんな時にログ出ただけ削除する方法。
githubのルートディレクトリで以下を実行。
git filter-branch --tree-filter "rm -f -r [消したいディレクトリパス] " HEAD
例えば./tutorial/data/*を消したい場合には以下を実行する。
git filter-branch --tree-filter "rm -f -r ./tutorial/data/*" HEAD
次にリポジトリの最適化
git gc --aggressive --prune=now
-fオプションで強制プッシュ
git push -f origin master
あとはそのローカルのレポジトリを消してpull仕直せばいいらしい。