GitHub上でファイルを削除しコミットした場合について

Question

git pushでGitHubにlocalのコミットを反映させたのではなく、ブラウザ上のGitHubでファイルを削除し、masterブランチにコミットしてしまいました。

このGitHub上のコミットを取り消す方法はありますでしょうか。

Comments

[Zuishin]

GitHub 上でもできますが、ローカルリポジトリにクローンした上でコミットを取り消し、間違いがないことを確かめた上でコミットして強制プッシュするのが安全だと思います。

複数人で共有しているなら、以前のコミットから必要なファイルを取り出し、それを加えて再コミットするのが良いでしょう。

https://www.solima.net/blog/archives/236

[winterboum]

revertなら 強制しなくてもpushできませんか？

[uruo]

お二方ともご回答ありがとうございます。お陰様で解決することができました。
①該当するローカルリポジトリを削除
②リモートリポジトリをクローンし、再度ローカルリポジトリを作成
③revertでファイルを削除したコミットを打ち消してpush
の手順でうまくいきました。まずどうにかリモートとローカルの履歴を一致させる方法を考えるんですね。
本当に助かりました。ありがとうございました。winterboum様のご回答も大変参考になりましたが、ベストアンサーは処理の大部分をご回答いただいたZuishin様にさせていただきます。

[uruo]

質問への追記・修正の依頼欄にご回答されているのでベストアンサーにできないみたいです...申し訳ございません。

[Zuishin]

確かに revert の方がいいですね。
「解決した方法」に実際の手順を書いて自己解決してください。

[uruo]

承知いたしました。

Answer 1

①該当するローカルリポジトリを削除(念の為バックアップを取っておく)
②リモートリポジトリをクローンし、再度ローカルリポジトリを作成
③revertでファイルを削除したコミットを打ち消してpush
の手順でうまくいきました。
複数人で共有しているなら、以前のコミットから必要なファイルを取り出し、それを加えて再コミットするのが良いみたいです。