結果 : pull request vs merge request in git