shtaxxx日記

コンピュータアーキテクチャについて研究している研究者の日記や技術紹介

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