結果 : git command to merge pull request