誤って大きなファイルを「git push」してしまった後、ファイルを「.gitignore」に追加したり、削除しても、リポジトリの履歴として残るらしく、その後のリポジトリへのコミットやプッシュ動作が異常に重たく、遅くなる。このような場合、バージョン管理システムとしては、コ