結果 : git merge pull request into local branch