gitでコメントを間違えた際の修正方法

gitでよくコメントを間違える。その際は以下のコマンドで修正ができる。

git push --amend -m "正しいコメント"

ここまではローカルブランチの問題なので、いつでも修正がきく。問題はリモートブランチにpushしてしまった場合の後処理。

「急いで修正して!」と言われて、ソースの修正はdiffを念入りに確認し、commitしてpush、「あ…間違えた…」のケース。

複雑でなければ以下のコマンド2つで修正が可能。

git push --amend -m "正しいコメント"
git push -f origin master