[BUGFIX] Fix error "detected dubious ownership in repository at '/git…

…hub/workspace'"
tomasnorre · Jun 7, 2024 · 4405db0 · 4405db0
1 parent 6c25bff
commit 4405db0
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Docker/entrypoint.sh b/Docker/entrypoint.sh
@@ -1,5 +1,9 @@
 #!/usr/bin/env bash
 
+echo -e "Preparing git configuration (safe.directory)\n";
+
+git config --global --add safe.directory $PWD
+
 echo -e "Preparing upload of release ${GITHUB_REF#refs/tags/} to TER\n";
 
 # Prepare Tag information