How do you delete a GitHub pull request requested review? This is about deleting the request for review on a pull request, not the pull request itself. I can't find a way using the website.
I also tried using the REST API:
curl -i -X DELETE -u cherryblossom000 https://api.github.com/repos/<repo owner>/<repo name>/pulls/<pull number>/requested_reviewers -d '{"reviewers":["reviewer name"]}'
but I get this error:
{
"message": "Validation Failed",
"errors": [
"Could not add requested reviewers to pull request."
],
"documentation_url": "https://developer.github.com/v3/pulls/review_requests/#delete-a-review-request"
}
The GraphQL API doesn't seem to have a mutation to delete a review request either.