結果 : is merge request same as pull request