[解決済み] `git push`の後に、ローカルとリモートで`git commit`を取り消すにはどうすればよいですか？

質問

を実行したことがあります。 git commit に続いて git push . ローカルとリモートの両方のリポジトリでその変更を元に戻すにはどうすればよいですか？

$ git log
commit 364705c23011b0fc6a7ca2d80c86cef4a7c4db7ac8
Author: Michael Silver <Michael [email protected]>
Date:   Tue Jun 11 12:24:23 2011 -0700

解決方法は？

git reset --hard HEAD~1
git push -f <remote> <branch>

(プッシュの例 git push -f origin bugfix/bug123 )

これは、最後のコミットを取り消し、更新された履歴をリモートにプッシュします。このとき -f なぜなら、リモートの上流の履歴を置き換えるからです。