Fix codecov report generation by adding the workspace to git's safe d…

…irectory (#56) Signed-off-by: Addisu Z. Taddese <addisu@openrobotics.org>
gazebo-tooling · Jun 4, 2022 · f41b8fd · f41b8fd
1 parent c859eba
commit f41b8fd
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/entrypoint.sh b/entrypoint.sh
@@ -33,6 +33,11 @@ apt -y install \
   python3-pip \
   wget
 
+# Add the workspace as a safe directory in the global git config. This ensures that any 
+# even if the workspace is owned by another user, git commands still work.
+# See https://github.com/actions/checkout/issues/760
+git config --global --add safe.directory $GITHUB_WORKSPACE
+
 SYSTEM_VERSION=`lsb_release -cs`
 
 SOURCE_DEPENDENCIES="`pwd`/.github/ci/dependencies.yaml"