From a6d2c2cf5e21ecdad8d737c31de81fab128898c5 Mon Sep 17 00:00:00 2001
From: Matthias Grob <maetugr@gmail.com>
Date: Tue, 27 Jun 2023 15:55:43 +0200
Subject: [PATCH] Github Actions: add workaround for dubious ownership errors

until I figure out what a better solution
would look like.
See
https://github.com/actions/runner/issues/2033
---
 .github/workflows/compile_linux.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/compile_linux.yml b/.github/workflows/compile_linux.yml
index 11877fcb5f..ac0c944c45 100644
--- a/.github/workflows/compile_linux.yml
+++ b/.github/workflows/compile_linux.yml
@@ -24,7 +24,8 @@ jobs:
     - uses: actions/checkout@v1
       with:
         token: ${{secrets.ACCESS_TOKEN}}
-
+    - name: ownership workaround
+      run: git config --system --add safe.directory '*'
     - name: Prepare ccache timestamp
       id: ccache_cache_timestamp
       shell: cmake -P {0}