Open
Description
I see that merging a pull request is possible but I couldn't find it in the docs in this repo. Is the document not updated or the feature itself is not available?
https://developer.github.com/v3/pulls/#merge-a-pull-request-merge-button