Repository navigation

Drop legacy working/repo dirs where possible - #3348

Merged

un-def merged 3 commits into

issue_3124_cleanup

Dec 5, 2025

Merged

Drop legacy working/repo dirs where possible#3348
un-def merged 3 commits into
masterfrom
issue_3124_cleanup

Commits on Dec 5, 2025
- Drop legacy working/repo dirs where possible
  un-def
  committed
  7e08968
- Replace /workflow with /<working_dir> in warning
  un-def
  committed
  d3790f8
- Merge remote-tracking branch 'origin/master' into issue_3124_cleanup
  un-def
  committed
  c66e3d0