結果 : git push vs merge request