git pushを取り消したい時

2014年5月8日

リモート先に共用レポジトリがある場合。

git push -f origin HEAD^:master

これで一つ前の状態に共用レポジトリは戻る。
ローカルのレポジトリの内部は特に変わっていない。