Bug 240589 - [git-webkit] clean all dead pr branches
Summary: [git-webkit] clean all dead pr branches
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Jonathan Bedard
URL:
Keywords: InRadar
Depends on:
Blocks: 239082
  Show dependency treegraph
 
Reported: 2022-05-18 11:23 PDT by Alexey Proskuryakov
Modified: 2022-05-25 07:49 PDT (History)
2 users (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Alexey Proskuryakov 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.
Comment 1 Radar WebKit Bug Importer 2022-05-18 13:07:04 PDT
<rdar://problem/93521924>
Comment 2 Jonathan Bedard 2022-05-19 17:12:08 PDT
Pull request: https://github.com/WebKit/WebKit/pull/811
Comment 3 EWS 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.