merge pull request github api