Skip to content

Commit da38c6d

Browse files
update extract
1 parent b46c382 commit da38c6d

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

github_scripts/get_git_sources.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -96,7 +96,7 @@ def clone_repo(repo_source: str, repo_ref: str, loc: Path) -> None:
9696

9797
commands = (
9898
f"git -C {loc} init",
99-
f"git -C {loc} remote add origin {repo_source}"
99+
f"git -C {loc} remote add origin {repo_source}",
100100
f"git -C {loc} fetch origin {repo_ref}",
101101
f"git -C {loc} checkout FETCH_HEAD"
102102
)

0 commit comments

Comments
 (0)