safe.directory moment

2023-11-21 19:17:34 +00:00
parent 01019d1422
commit 6e6958a3bd
1 changed files with 2 additions and 0 deletions
@@ -19,6 +19,8 @@ jobs:
          token: ${{ secrets.GH_RO_PAT }}
      - name: check whether submodules exist
        run: |
+          git config --global --add safe.directory $GITHUB_WORKSPACE
+
          # debug output
          echo gh=${{ github.sha }}
          echo head=$(git rev-parse HEAD)