Bug 250859

Summary:	[ews] Add --no-ews option to git-webkit pr command
Product:	WebKit	Reporter:	Aakash Jain <aakash_jain>
Component:	Tools / Tests	Assignee:	Aakash Jain <aakash_jain>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	aakash_jain, jbedard, mark.lam, webkit-bug-importer, ysuzuki
Priority:	P2	Keywords:	InRadar
Version:	Other
Hardware:	Unspecified
OS:	Unspecified
See Also:	https://bugs.webkit.org/show_bug.cgi?id=247900

Description Aakash Jain 2023-01-19 12:54:50 PST

[ews] Add --no-ews option to git-webkit pr command. This would simply add/remove the skip-ews label on github. We added support for skip-ews label in https://bugs.webkit.org/show_bug.cgi?id=247900. 

Some users asked for support in git-webkit pr as well, so that they don't have to manually add that label through github UI.

Comment 1 Radar WebKit Bug Importer 2023-01-19 14:42:20 PST

<rdar://problem/104446424>

Comment 2 Aakash Jain 2023-01-19 14:48:43 PST

Pull request: https://github.com/WebKit/WebKit/pull/8854

Comment 3 EWS 2023-01-19 15:25:06 PST

Committed 259115@main (b7ef1ae62294): <https://commits.webkit.org/259115@main>

Reviewed commits have been landed. Closing PR #8854 and removing active labels.