結果 : github how to merge without pull request