結果 : github rest api merge pull request