After commit queue lands a PR, one needs to run git-webkit clean pr-# or git-webkit clean <branch-name> do delete local and remote branches. This is difficult to remember to do in time, and it's very hard to figure out which branches are unneeded after the fact. We need a tool that cleans up all of these automatically.
<rdar://problem/93521924>
Pull request: https://github.com/WebKit/WebKit/pull/811
Committed r294797 (250953@main): <https://commits.webkit.org/250953@main> Reviewed commits have been landed. Closing PR #811 and removing active labels.