githubでpull requestが来たときの対処法
まず自分の現状のコミットIDを調べておく.
git log
新しいブランチを作成して,相手のブランチを持ってくる.
git checkout -b pull-request master
git pull https://github.com/hishername/project.git branchname
最初に調べたコミットIDを使って,差分をチェックする(もしかしてコミットIDなしでもできる?)
git diff -r 80deaed24b328140c9181050a1536754eedfa8cd --ignore-all-space
masterにマージする.
git checkout master
git merge --no-ff pull-request
git push origin master