Github で Pull Request がコンフリクトした場合の対処方法

EGit を利用する方法は以下の通りです。

1. ローカルの master を最新にする
2. [Team]→[Merge] で、マージしたいブランチを選択する。
3. コンフリクトが発生したファイルに印がつくので、修正する。
4. 修正したファイルを[Team]⇒[Add Index]で追加する。
5. コンフリクトが消える
6. [Team]→[Commit]
7. [Team]→[Push to Upstream]

これでマージが完了します。Github のステータスも Merged になっています。