Merge pull request #1140 from leahneukirchen/dubious-ownership-fix

CI: ignore dubious ownership issues

Author: mikeshulman

.github/workflows/ci.yml

@@ -16,6 +16,9 @@ jobs:
       - name: Checkout repo
         uses: actions/checkout@v3
 
+      - name: Consider all directories safe
+        run: git config --global --add safe.directory '*'
+
       - name: Fetch all tags for `git describe`
         run: git fetch --force --prune --unshallow --tags