Merge pull request #39 from rewindio/hotfix/fix-git-issue

fix git permissions issue
reviewdog · Apr 15, 2022 · cadedd5 · cadedd5
2 parents e7b7769 + 338ce74
commit cadedd5
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/script.sh b/script.sh
@@ -1,6 +1,12 @@
 #!/bin/sh -e
 
-cd "${GITHUB_WORKSPACE}/${INPUT_WORKDIR}" || exit
+if [ -n "${GITHUB_WORKSPACE}" ]
+then
+    git config --global --add safe.directory "${GITHUB_WORKSPACE}" || exit 1
+    git config --global --add safe.directory "${GITHUB_WORKSPACE}/${INPUT_WORKDIR}" || exit 1
+    cd "${GITHUB_WORKSPACE}/${INPUT_WORKDIR}" || exit 1
+fi
+
 export REVIEWDOG_GITHUB_API_TOKEN="${INPUT_GITHUB_TOKEN}"
 
 TEMP_PATH="$(mktemp -d)"