Repository navigation

Fix request coverage for removed external worktrees - #72

Merged

eivindjonassen merged 2 commits into

mainfrom

fix/removed-external-worktree-coverage

Oct 26, 2026

Merged

Fix request coverage for removed external worktrees#72
eivindjonassen merged 2 commits into
mainfrom
fix/removed-external-worktree-coverage

Commits on Oct 25, 2026
- Fix request coverage for removed external worktrees
  eivindjonassen
  committed
  a9fc79b
- Merge branch 'main' into fix/removed-external-worktree-coverage
  eivindjonassen
  authored
  3a03324