Skip to content

Commit d8f78e9

Browse files
update read_sources
1 parent 11a7ce5 commit d8f78e9

1 file changed

Lines changed: 5 additions & 2 deletions

File tree

get_git_sources.py

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -44,8 +44,12 @@ def clone_repo_mirror(source, repo_ref, parent, mirror_loc, loc):
4444
Assume the mirror is set up as per the Met Office
4545
"""
4646

47+
command = f"git clone {mirror_loc} {loc}"
48+
run_command(command)
49+
50+
# If not provided a ref, return
4751
if not repo_ref:
48-
repo_ref = "HEAD"
52+
return
4953

5054
source = source.removeprefix("git@github.com:")
5155
user = source.split("/")[0]
@@ -60,7 +64,6 @@ def clone_repo_mirror(source, repo_ref, parent, mirror_loc, loc):
6064
else:
6165
fetch = f"{user}/{repo_ref}"
6266
commands = (
63-
f"git clone {mirror_loc} {loc}",
6467
f"git -C {loc} fetch origin {fetch}",
6568
f"git -C {loc} checkout FETCH_HEAD",
6669
)

0 commit comments

Comments
 (0)