From 531d7fde9594e700a0b76bcbefc1c4067e1c4fb3 Mon Sep 17 00:00:00 2001
From: Hans Fangohr <hans.fangohr@mpsd.mpg.de>
Date: Fri, 9 Jun 2023 12:38:32 +0200
Subject: [PATCH] remove outdated argument
---
mpsd-software-environment.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/mpsd-software-environment.py b/mpsd-software-environment.py
index 364bc7f..15bbb4c 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.
--
GitLab