Check if a pull request has been merged
GET
/repos/{owner}/{repo}/pulls/{index}/merge
Authorizations
Section titled “Authorizations”Parameters
Section titled “Parameters”Path Parameters
Section titled “Path Parameters”owner
required
string
Owner of the repo
repo
required
string
Name of the repo
index
required
integer format: int64
Index of the pull request
Responses
Section titled “Responses”Pull request has been merged
Media typeapplication/json
Pull request has not been merged
Media typeapplication/json