結果 : difference between pull request and merge request in git