pull request を手動でマージする

Git

GitHubを使っていて、pull request を取り込みたいと思ったら「merge」ボタンをぽちっとして
やったー！という日々を送っていました。

でもちょっとしたコンフリクトがあって、ボタンが使えなくなってしまったので
手マージするかー。

あっれー、やり方知らないやぁ、となって調べたのでメモ。


pull request をくれた人のリモートを追加

git remote add username git://github.com/username/hogehoge.git

追加されていることを確認

git remote -v

てきとーなブランチを切る

git checkout -b pull-request-branch

pull request をくれた人のリモートから pull してくる
今回はブランチが切られていたので、ブランチ名も

git pull username branchname

ここからは、いつもと一緒
コンフリクトを修正してコミット

マスターに移動してマージしてプッシュ

git checkout master
git merge pull-request-branch
git push origin master

でけた〜