結果 : merge without pull request github