fix: add git workaround [skip ci]

VSCodium · Oct 8, 2024 · 3047fd5 · 3047fd5
1 parent fc453f2
commit 3047fd5
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/.github/workflows/insider-macos.yml b/.github/workflows/insider-macos.yml
@@ -54,7 +54,7 @@ jobs:
       - name: Switch to relevant branch
         env:
           PULL_REQUEST_ID: ${{ github.event.inputs.checkout_pr }}
-        run: ./get_pr.sh
+        run: . get_pr.sh
 
       - name: Setup Node.js environment
         uses: actions/setup-node@v4

diff --git a/.github/workflows/stable-macos.yml b/.github/workflows/stable-macos.yml
@@ -53,7 +53,7 @@ jobs:
       - name: Switch to relevant branch
         env:
           PULL_REQUEST_ID: ${{ github.event.inputs.checkout_pr }}
-        run: ./get_pr.sh
+        run: . get_pr.sh
 
       - name: Setup Node.js environment
         uses: actions/setup-node@v4

diff --git a/get_pr.sh b/get_pr.sh
@@ -2,6 +2,11 @@
 
 set -e
 
+# git workaround
+if [[ "${CI_BUILD}" != "no" ]]; then
+  git config --global --add safe.directory "/__w/$( echo "${GITHUB_REPOSITORY}" | awk '{print tolower($0)}' )"
+fi
+
 if [[ -n "${PULL_REQUEST_ID}" ]]; then
   BRANCH_NAME=$( git rev-parse --abbrev-ref HEAD )