Is merging pull request functionality properly supported for GitHub apps?
The existence of this topic implies it is: Pull requests open after merge
However, Pull Request merging is not explicitly listed under Available Endpoints here: https://developer.github.com/v3/apps/available-endpoints/
My app is receiving a response of
405 Method Not Allowed but not with the error message “Pull Request is not mergeable” as mentioned in https://developer.github.com/v3/pulls/#merge-a-pull-request-merge-button
Note: same code works fine if used with a Personal Access Token