Skip to content

Commit 800130c

Browse files
update extract
1 parent 6d0225d commit 800130c

1 file changed

Lines changed: 3 additions & 0 deletions

File tree

github_scripts/get_git_sources.py

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -91,6 +91,9 @@ def clone_repo(repo_source: str, repo_ref: str, loc: Path) -> None:
9191
if loc.exists():
9292
rmtree(loc)
9393

94+
# Create a clean clone location
95+
loc.mkdir(parents=True)
96+
9497
commands = (
9598
f"git -C {loc} init",
9699
f"git -C {loc} remote add origin {repo_source}"

0 commit comments

Comments
 (0)