Bug 250859 - [ews] Add --no-ews option to git-webkit pr command
Summary: [ews] Add --no-ews option to git-webkit pr command
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: Other
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Aakash Jain
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2023-01-19 12:54 PST by Aakash Jain
Modified: 2023-01-26 11:26 PST (History)
5 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 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.