Mirror repo name#215

Merged

James Bruten (james-bruten-mo) merged 6 commits intoMetOffice:mainfrom

ericaneininger:mirror_repo_name

Mar 23, 2026

Commits on Mar 16, 2026

Extract name of repo from source
Erica Neininger (ericaneininger)
committed

Commits on Mar 17, 2026

Account for working copies when extracting from mirrors
Erica Neininger (ericaneininger)
committed

Commits on Mar 18, 2026

Commits on Mar 23, 2026

Merge branch 'main' into mirror_repo_name
Erica Neininger (ericaneininger)
authored