RESOLVED FIXED 250859
[ews] Add --no-ews option to git-webkit pr command 
https://bugs.webkit.org/show_bug.cgi?id=250859
Summary [ews] Add --no-ews option to git-webkit pr command
Aakash Jain
Reported 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.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2023-01-19 14:42:20 PST
<rdar://problem/104446424>
Aakash Jain
Comment 2 2023-01-19 14:48:43 PST
Pull request: https://github.com/WebKit/WebKit/pull/8854
EWS
Comment 3 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.
Note You need to log in before you can comment on or make changes to this bug.