Check if a pull request has been merged
GET
/repos/{owner}/{repo}/pulls/{pull_number}/merge
Checks if a pull request has been merged into the base branch. The HTTP status of the response indicates whether or not the pull request has been merged; the response body is empty.
Parameters
Section titled “ Parameters ”Path Parameters
Section titled “ Path Parameters ” owner
required
string
The account owner of the repository. The name is not case sensitive.
repo
required
string
The name of the repository without the .git extension. The name is not case sensitive.
pull_number
required
integer
The number that identifies the pull request.
Responses
Section titled “ Responses ”Response if pull request has been merged
Not Found if pull request has not been merged