repository

Changes to Check if a pull request has been merged

get/repos/{owner}/{repo}/pulls/{index}/merge