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 type application/json
Pull request has not been merged
Media type application/json