From ac2a6b5864d9ea0a8f355156b162343b1f4d34b0 Mon Sep 17 00:00:00 2001 From: Khosrow Moossavi Date: Thu, 7 Jul 2022 18:47:36 -0400 Subject: [PATCH] Add clarifing comments Signed-off-by: Khosrow Moossavi --- src/docker-entrypoint.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/docker-entrypoint.sh b/src/docker-entrypoint.sh index 537e5d5..7e82357 100755 --- a/src/docker-entrypoint.sh +++ b/src/docker-entrypoint.sh @@ -49,7 +49,11 @@ if [ -z "${INPUT_GIT_PUSH_USER_EMAIL}" ]; then fi git_setup() { + # When the runner maps the $GITHUB_WORKSPACE mount, it is owned by the runner + # user while the created folders are owned by the container user, causing this + # error. Issue description here: https://github.com/actions/checkout/issues/766 git config --global --add safe.directory /github/workspace + git config --global user.name "${INPUT_GIT_PUSH_USER_NAME}" git config --global user.email "${INPUT_GIT_PUSH_USER_EMAIL}" git fetch --depth=1 origin +refs/tags/*:refs/tags/* || true