Sample - GitHub REST API
GET/repos/{owner}/{repo}/pulls/{pull_number}/merge

Check if a pull request has been merged

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.

  • RetriesRetries up to 2×, 500ms backoff, 30s timeout.

3 parameters
ownerstringrequired
The account owner of the repository. The name is not case sensitive.
repostringrequired
The name of the repository without the `.git` extension. The name is not case sensitive.
pull_numberintegerrequired
The number that identifies the pull request.

2 status codes
204Response if pull request has been merged
404Not Found if pull request has not been merged

Error handling

A 404 is returned: Not Found if pull request has not been merged.