Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: d6d87ef4023c57d5f1a296521ee28859272fe3dc
https://github.com/WebKit/WebKit/commit/d6d87ef4023c57d5f1a296521ee28859272fe3dc
Author: Brianna Fan <[email protected]>
Date: 2026-03-05 (Thu, 05 Mar 2026)
Changed paths:
M Tools/WebKitBot/src/WebKitBot.mjs
Log Message:
-----------
[webkit-bot] Add support for making reverts with git-webkit pr
https://bugs.webkit.org/show_bug.cgi?id=309015
rdar://171562627
Reviewed by Aakash Jain.
Add a revert-with-pr command to webkit-bot.
This is currently locked behind the USE_GIT_WEBKIT_REVERT env variable.
* Tools/WebKitBot/src/WebKitBot.mjs:
- Add parsePRUrl function to find the url within command output
- Handle PR flow in revertCommand and dryRevertCommand
- Add revertWithPRCommand that calls revertCommand with usePR = True
- Add generateRevertingPatchWithGitWebKit
-> This sets up the environment and calls git-webkit revert
Canonical link: https://commits.webkit.org/308736@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
