Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 6e586185f0f69b2b15925c51be9ac4f94464510d
https://github.com/WebKit/WebKit/commit/6e586185f0f69b2b15925c51be9ac4f94464510d
Author: Ryan Haddad <[email protected]>
Date: 2026-07-09 (Thu, 09 Jul 2026)
Changed paths:
M Tools/WebKitBot/src/WebKitBot.mjs
Log Message:
-----------
[webkit-bot] Drop the transitional revert-with-pr alias
https://bugs.webkit.org/show_bug.cgi?id=318921
rdar://181753826
Reviewed by Aakash Jain.
Now that revert and rollout route through git-webkit when USE_GIT_WEBKIT_REVERT
is enabled,
the transitional `revert-with-pr alias` is redundant. Remove it and carry its
capabilities into
revert/rollout.
Note that this PR does not remove the code that supports the patch workflow, so
we can
switch back to the old path on the server if workflow blocking regressions are
encountered.
* Tools/WebKitBot/src/WebKitBot.mjs:
- Update the revert/rollout and dry-revert usage to document the bug-URL form
and examples,
and describe creating a pull request.
- Remove the revert-with-pr command registration, revertWithPRCommand, and the
"revert-with-pr" action case.
- revertCommand: replace the usePR parameter with a usingGitWebkit local
derived from USE_GIT_WEBKIT_REVERT,
so bug-URL detection and the conflict/already-reverted handling apply whenever
git-webkit is in use.
- Drive-by: Drop the `--draft` argument to git-webkit, since this was a
carryover from testing and development.
Canonical link: https://commits.webkit.org/316831@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
