diff --git a/mpsd-software-environment.py b/mpsd-software-environment.py index 364bc7f428cbf711cd3e46f101785de34901b67f..15bbb4c73f631c55ee2de6e54e7234af66d7a746 100755 --- a/mpsd-software-environment.py +++ b/mpsd-software-environment.py @@ -509,7 +509,7 @@ def record_script_execution_summary( def clone_repo( - target_path: Path, repo_url: str, branch=None, skip_if_exists=True + target_path: Path, repo_url: str, branch=None ) -> None: """Clone repo locally. Optionally checkout a branch.