Expand description
The shared process-side discipline of local-resource cleanup.
rk branches prune and rk worktree prune retire the same resource
pair — a branch, and the worktree that seats one — so the deletion
discipline, and the observation of the proof no record holds, have one
implementation here, and exactly two callers invoke
it: crate::commands::branches and crate::commands::worktree. The
module spawns git, which is why it sits beside the pure branches and
worktree modules rather than inside either: both declare themselves
parsing and classification only. The report-closing rule the two prune
verbs share lives here too, so the pair cannot fork.
Enums§
- Deletion
- The outcome of deleting one branch at a verified tip.
Functions§
- delete_
branch - Delete one branch whose tip verification authorized, compare-and-swap.
- forget_
integration - Drop one branch’s entry from the ledger, after the branch is gone.
- integration_
ledger - The clone’s local integration ledger, keeping only the entries the trunk actually carries.
- reachable_
tip - The third proof for one branch, observed: the trunk reaches its tip and its reflog’s creation entry names another commit.
- row_
owes - Whether one report row still names a move the operator may make.
- trunk_
reaches - Whether the trunk reaches one commit.