Expand description
Worktree cleanup and merged-PR detection.
Contains the post-merge cleanup pipeline: removing git worktrees, deleting local/remote branches, pulling main, and detecting already-merged PRs so their tasks can be marked done.
Structs§
- Janitor
Options - Options controlling the worktree janitor.
Functions§
- resolve_
repo_ root_ from_ worktree - Resolve the main git repository root from a worktree’s .git file.