The workflow will be Do git-webkit revert first, it will generate a local commit Do git-webkit ptr to submit the commit there Additionally git-webkit revert —pr will do those two steps together.
rdar://92875608
Pull request: https://github.com/WebKit/WebKit/pull/557
<rdar://problem/93272500>
Committed r294376 (250670@main): <https://commits.webkit.org/250670@main> Reviewed commits have been landed. Closing PR #557 and removing active labels.