repository
Check if a pull request has been merged
get/repos/{owner}/{repo}/pulls/{index}/merge
Path parameters
ownerstring required
owner of the repo
repostring required
name of the repo
indexinteger required
index of the pull request
Response
pull request has been merged