結果 : git merge vs github pull request