Bug 242801 - [git-webkit] Prevent global PR search while using `git-webkit pr`
Summary: [git-webkit] Prevent global PR search while using `git-webkit pr`
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Youssef Soliman
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2022-07-15 09:04 PDT by Youssef Soliman
Modified: 2022-07-15 10:02 PDT (History)
2 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Youssef Soliman 2022-07-15 09:04:17 PDT 
.
Comment 1 Radar WebKit Bug Importer 2022-07-15 09:17:10 PDT 
<rdar://problem/97078090>
Comment 2 Youssef Soliman 2022-07-15 09:17:44 PDT 
Pull request: https://github.com/WebKit/WebKit/pull/2451
Comment 3 Youssef Soliman 2022-07-15 09:18:26 PDT 
*** Bug 242141 has been marked as a duplicate of this bug. ***
Comment 4 EWS 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.