fix(pool): prune stale worktree registrations before adding in get#31
Open
e-jung wants to merge 3 commits into
Open
fix(pool): prune stale worktree registrations before adding in get#31e-jung wants to merge 3 commits into
e-jung wants to merge 3 commits into