Repository navigation

Do not report a move that succeeded as failed - #840

Merged

SimonCropp merged 2 commits into

mainfrom

fix-move-directory-guard

Aug 23, 2026

Merged

Do not report a move that succeeded as failed#840
SimonCropp merged 2 commits into
mainfrom
fix-move-directory-guard

Commits on Aug 23, 2026
- Do not report a move that succeeded as failed
  SimonCropp
  committed
  527ee7d
- Deny the tidy-up rather than the move it follows
  SimonCropp
  committed
  e25c517