Mirror repo name#215

Open

ericaneininger wants to merge 5 commits intoMetOffice:mainfrom

ericaneininger:mirror_repo_name

Commits on Mar 16, 2026

Extract name of repo from source
ericaneininger
committed

Commits on Mar 17, 2026

Account for working copies when extracting from mirrors
ericaneininger
committed

Commits on Mar 18, 2026