結果 : pull request vs merge git