誤って大きなファイル (200 MB 以上) を git リポジトリに追加 (git add *) してしまいました。変更をコミットしてプッシュしました。
他のコピーで変更を取得しようとすると、時間がかかりすぎました。プルをキャンセルし、ファイル (git rm ファイル) を削除し、コミットして、再度プッシュしました。しかし、他の作業コピーを取得するにはまだ時間がかかりすぎています。
では、メイン リポジトリから完全に削除するにはどうすればよいでしょうか。
オブジェクトはまだリポジトリにあり、リモートはプル時にこのオブジェクトをダウンロードしようとしています。
このgithub のレシピは、リポジトリの履歴からオブジェクトを削除するのに役立ちます。