RESOLVED FIXED 240589
[git-webkit] clean all dead pr branches 
https://bugs.webkit.org/show_bug.cgi?id=240589
Summary [git-webkit] clean all dead pr branches
Alexey Proskuryakov
Reported 2022-05-18 11:23:32 PDT
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.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2022-05-18 13:07:04 PDT
<rdar://problem/93521924>
Jonathan Bedard
Comment 2 2022-05-19 17:12:08 PDT
Pull request: https://github.com/WebKit/WebKit/pull/811
EWS
Comment 3 2022-05-25 07:49:47 PDT
Committed r294797 (250953@main): <https://commits.webkit.org/250953@main> Reviewed commits have been landed. Closing PR #811 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.