ci: github: add ownership workaround

2026-11-14 16:51:35 +08:00 · 2024-05-18 20:15:26 +01:00
parent 2eeb358d3c
commit 0f4154005a
14 changed files with 40 additions and 2 deletions
@@ -10,6 +10,8 @@ jobs:
    - uses: actions/checkout@v2.3.1
      with:
        fetch-depth: 0
+    - name: ownership workaround
+      run: git config --global --add safe.directory '*'
    - name: checkout newest version of branch
      run: |
        git fetch origin pull/${{github.event.pull_request.number}}/head:${{github.head_ref}}