gitでよくコメントを間違える。その際は以下のコマンドで修正ができる。
git push --amend -m "正しいコメント"
ここまではローカルブランチの問題なので、いつでも修正がきく。問題はリモートブランチにpushしてしまった場合の後処理。
「急いで修正して!」と言われて、ソースの修正はdiffを念入りに確認し、commitしてpush、「あ…間違えた…」のケース。
複雑でなければ以下のコマンド2つで修正が可能。
git push --amend -m "正しいコメント"
git push -f origin master