is there a method to merge a pull request?
(if not, would you be interested on adding it?)

https://developer.github.com/v3/pulls/#merge-a-pull-request-merge-button