Check if a pull request has been merged
The account owner of the repository. The name is not case sensitive.
The name of the repository. The name is not case sensitive.
The number that identifies the pull request.
