Skip to content

prune#9

Merged
puria merged 2 commits into
mainfrom
prune
Apr 30, 2026
Merged

prune#9
puria merged 2 commits into
mainfrom
prune

Conversation

@puria

@puria puria commented Apr 30, 2026

Copy link
Copy Markdown
Owner
  • fix: fetch remote before creating/reusing worktrees
  • fix: prune merged worktrees and PR checkouts

puria added 2 commits April 29, 2026 00:11
Sync bare repo with origin before creating or reusing worktrees and PR checkouts to ensure latest changes are available.
@puria
puria merged commit a4dd5ac into main Apr 30, 2026
2 of 3 checks passed
@puria
puria deleted the prune branch April 30, 2026 06:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant