結果 : how to merge in github without pull request