Git でリモートに push 済みのコミットを amend したときの対応方法

$ # push 済みのローカルのコミットを変更してしまった...
$ git commit --amend

$ # 齟齬があるため push は当然失敗する...
$ git push origin master
To ssh://[リモートリポジトリの URI]
 ! [rejected]        master -> master (non-fast-forward)
error: failed to push some refs to 'ssh://[リモートリポジトリの URI]'
hint: Updates were rejected because the tip of your current branch is behind
hint: its remote counterpart. Integrate the remote changes (e.g.
hint: 'git pull ...') before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.

$ # 以下 1-6 で対応
$ # 1. まずはリモートの HEAD を fetch する
$ git fetch origin master

$ # 2. （オプション）リモートとローカルのブランチに差分があることを確認する
$ git diff --shortstat master..origin/master
1  2 files changed, 79 insertions(+), 1 deletion(-)

$ # 3. リモートの（ amend 前の）コードを merge する
$ git merge origin/master
Auto-merging [変更のあったファイル 1]
CONFLICT (content): Merge conflict in [変更のあったファイル 1]
Auto-merging [変更のあったファイル 2]
CONFLICT (content): Merge conflict in [変更のあったファイル 2]
Automatic merge failed; fix conflicts and then commit the result.

$ # 4. auto-merging がコンフリクトで失敗するので、コンフリクトをひとつずつ解消する
$ open [変更のあったファイル 1]
$ open [変更のあったファイル 2]

$ # 5. コンフリクトを解決したらその内容を新たにコミットする
$ git add [変更のあったファイル 1] [変更のあったファイル 2]
$ git commit -m '[コミットメッセージを適当に]'

$ # 6. 改めて push して終了
$ git push origin master