Skip to content

Commit 01d9155

Browse files
Account for working copies when extracting from mirrors
1 parent cf3217c commit 01d9155

1 file changed

Lines changed: 4 additions & 0 deletions

File tree

github_scripts/get_git_sources.py

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -169,6 +169,10 @@ def merge_source(
169169
f"{source} at ref {ref} into {dest.name}"
170170
)
171171

172+
if not any([g for g in ["https:", "git@", "localmirrors:"] if source.startswith(g)]):
173+
# Source is local working copy - cannot determine mirror_repo
174+
use_mirrors = False
175+
172176
if use_mirrors:
173177
mirror_repo = re.split("[:/]", source)[-1]
174178
remote_path = Path(mirror_loc) / "MetOffice" / mirror_repo

0 commit comments

Comments
 (0)