結果 : github pull request merge to another branch