github rest api merge pull request