結果 : how to merge pull request on github