結果 : how to merge github pull request