RESOLVED FIXED 242801
[git-webkit] Prevent global PR search while using `git-webkit pr` 
https://bugs.webkit.org/show_bug.cgi?id=242801
Summary [git-webkit] Prevent global PR search while using `git-webkit pr`
Youssef Soliman
Reported 2022-07-15 09:04:17 PDT
.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2022-07-15 09:17:10 PDT
<rdar://problem/97078090>
Youssef Soliman
Comment 2 2022-07-15 09:17:44 PDT
Pull request: https://github.com/WebKit/WebKit/pull/2451
Youssef Soliman
Comment 3 2022-07-15 09:18:26 PDT
*** Bug 242141 has been marked as a duplicate of this bug. ***
EWS
Comment 4 2022-07-15 10:02:49 PDT
Committed 252508@main (2aeaf88debf7): <https://commits.webkit.org/252508@main> Reviewed commits have been landed. Closing PR #2451 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.