Bug 240589
| Summary: | [git-webkit] clean all dead pr branches | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Alexey Proskuryakov <ap> |
| Component: | Tools / Tests | Assignee: | Jonathan Bedard <jbedard> |
| Status: | RESOLVED FIXED | ||
| Severity: | Normal | CC: | jbedard, webkit-bug-importer |
| Priority: | P2 | Keywords: | InRadar |
| Version: | WebKit Nightly Build | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
| Bug Depends on: | |||
| Bug Blocks: | 239082 | ||
Alexey Proskuryakov
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
<rdar://problem/93521924>
Jonathan Bedard
Pull request: https://github.com/WebKit/WebKit/pull/811
EWS
Committed r294797 (250953@main): <https://commits.webkit.org/250953@main>
Reviewed commits have been landed. Closing PR #811 and removing active labels.