いくつかの変更を github リポジトリにプッシュしようとしていますが、git がリポジトリにあると考える大きなファイルが原因でプッシュが失敗しています。
remote: Error code: 38865a38ccad9b1d9f394c35344906e6
remote: warning: Error GH413: Large files detected.
remote: warning: See http://git.io/iEPt8g for more information.
remote: error: File videos/Lecture2.mp4 is 134.01 MB; this exceeds GitHub's file size limit of 100 MB
しかし、ファイル videos/Lecture2.mp4 はリポジトリにありません。ビデオディレクトリもありません。
他の変更をプッシュできるように、このファイルを削除する方法についてのアイデアはありますか?