WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED FIXED
242927
[git-webkit] Use graphQL API to search for pull requests
https://bugs.webkit.org/show_bug.cgi?id=242927
Summary
[git-webkit] Use graphQL API to search for pull requests
Jonathan Bedard
Reported
2022-07-19 17:21:52 PDT
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.
Attachments
Add attachment
proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1
2022-07-19 17:22:08 PDT
<
rdar://problem/97290312
>
Jonathan Bedard
Comment 2
2022-07-19 17:23:08 PDT
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 } } } } } }
Jonathan Bedard
Comment 3
2022-07-20 12:13:12 PDT
Pull request:
https://github.com/WebKit/WebKit/pull/2586
EWS
Comment 4
2022-07-20 15:38:44 PDT
Committed
252661@main
(500b3dbc7c61): <
https://commits.webkit.org/252661@main
> Reviewed commits have been landed. Closing PR #2586 and removing active labels.
EWS
Comment 5
2022-07-20 16:18:24 PDT
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.
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug