fix(pool): prune stale worktree registrations before add in get#1
Closed
e-jung wants to merge 2 commits into
Closed
fix(pool): prune stale worktree registrations before add in get#1e-jung wants to merge 2 commits into
e-jung wants to merge 2 commits into
