GitHub's GraphQL API is way better at searching for pull requests and issues than its REST API is. We should use that to API to search for pull requests instead of the REST API.
<rdar://problem/97290312>
Need to integrate the call to existing tooling, but the query we're looking for should be this one: query { search(query: "repo:<owner>/<repository> is:pr head:<branch-name>", type: ISSUE, last: 100) { edges { node { ... on PullRequest { number url state title body isDraft author { login } baseRefName headRefName headRepository { nameWithOwner } } } } } }
Pull request: https://github.com/WebKit/WebKit/pull/2586
Committed 252661@main (500b3dbc7c61): <https://commits.webkit.org/252661@main> Reviewed commits have been landed. Closing PR #2586 and removing active labels.
Committed 252432.19@safari-7614-branch (f2e163351dd9): <https://commits.webkit.org/252432.19@safari-7614-branch> Reviewed commits have been landed. Closing PR #22 and removing active labels.