Try to make git commands from CI actions work (#2542)

Author: oddhack

.github/workflows/CI.yml

@@ -35,12 +35,18 @@ jobs:
     container: khronosgroup/docker-images@sha256:724f67d8562445523644abf017d5d192b369fafc122de75e9d26792c649821a0
 
     steps:
+      # The repo is extracted under /__w/Vulkan-Docs/Vulkan-Docs, apparently
+      # with different ownership than the checks performed below.
+      # This causes 'fatal: detected dubious ownership in repostory' and
+      # failure to run the checks, although it is not actually propagated
+      # back to the Makefile as errors.
       - uses: actions/checkout@v4
       - name: Internal self-test of the check_spec_links script
         run: pytest test*.py
         working-directory: scripts
       - name: Generate a summary of problems for CI logs (if any)
         run: |
+          git config --global --add safe.directory '*'
           mkdir -p gen/out/checks
           python3 scripts/check_spec_links.py --html=gen/out/checks/problems.html > /dev/null || true
           make CHECK_XREFS= allchecks