結果 : merge pull request options in github