GitHub のプル リクエストをマージしました。しかし、それは間違いだったので、マージとそのコミットを元に戻し、最も重要なこととして、これらのいくつかのコミットによって導入されたすべてのファイルを履歴から削除したいと思います。
別のコミットでコミットを元に戻しましたが、機能しますが、ファイルはまだコミット履歴に残っており (サイズが大きい)、コミット自体が消えたらいいのにと思います。
ファイルを削除してフィルター分岐しようとしましたが、リポジトリのサイズを縮小しているようには見えません (コミットはまだ残っています)。
私は何をすべきか?