CB-579: resolve a lead by its tab name, drop the terminal-id pin #55
Reference in New Issue
Block a user
Delete Branch "worker/cb579-lead-tab-acba06-20"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Closes #51.
Opened by the lead on the worker's behalf: the
sonnetprofile has nogitTokenEnvuntil thedaemon restarts, so the member could commit and push but not open its own PR.
The member's own report was lost. It finished (
BUSY -> DONEat 08:05) and I failed to poll itbefore the idle reaper released it at 08:35. There was no
bridge_replyand no completion scrape,so there are no worker-supplied test counts or notes here — only the code. Review accordingly: this
PR has had no author write-up, and everything claimed below is from the lead reading the diff.
Branched from
2f48e08. Not yet verified or reviewed by the lead at the time of opening.