Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 20a4f25a4e7ebc9f4e0d2e96d638a7111f7dc451
https://github.com/WebKit/WebKit/commit/20a4f25a4e7ebc9f4e0d2e96d638a7111f7dc451
Author: Qianlang Chen <[email protected]>
Date: 2025-12-12 (Fri, 12 Dec 2025)
Changed paths:
M Tools/Scripts/libraries/webkitscmpy/webkitscmpy/program/pull_request.py
Log Message:
-----------
git-webkit: When updating PR, --no-ews does not add skip-ews label
rdar://166334683
https://bugs.webkit.org/show_bug.cgi?id=304076
Reviewed by Sam Sneddon.
The --no-ews flag currently:
- Adds the skip-ews label when creating a new PR
- Keeps an existing skip-ews label already present in the PR
Make --no-ews also able to add the label to an existing PR.
Remove None as a possible value for the ews argument to make the code
behavior more clear.
* Tools/Scripts/libraries/webkitscmpy/webkitscmpy/program/pull_request.py:
(PullRequest.parser):
(PullRequest.create_pull_request):
Canonical link: https://commits.webkit.org/304379@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
