Bug 242801

Summary:	[git-webkit] Prevent global PR search while using `git-webkit pr`
Product:	WebKit	Reporter:	Youssef Soliman <y_soliman>
Component:	Tools / Tests	Assignee:	Youssef Soliman <youssefdevelops>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	simon.fraser, webkit-bug-importer
Priority:	P2	Keywords:	InRadar
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified

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.