git filter-branch で例えばサイズの大きいバイナリファイルとかを完全消去したはずなのにレポジトリのサイズが減らない場合，
rm -Rf .git/refs/original rm -Rf .git/logs/ git gc git prune --expire now
する．
https://git-scm.com/book/ja/v2/Git%E3%81%AE%E5%86%85%E5%81%B4-%E3%83%A1%E3%83%B3%E3%83%86%E3%83%8A%E3%83%B3%E3%82%B9%E3%81%A8%E3%83%87%E3%83%BC%E3%82%BF%E3%83%AA%E3%82%AB%E3%83%90%E3%83%AAgit-scm.com
