結果 : git pull request merge options