From ce8dd2ba48c8f9d917f402af0cf2d189901110ee Mon Sep 17 00:00:00 2001
From: Matthias Grob <maetugr@gmail.com>
Date: Wed, 19 Jul 2023 19:00:42 +0200
Subject: [PATCH] deploy_all: add git ownership workaround

See
a6d2c2cf5e21ecdad8d737c31de81fab128898c5
---
 .github/workflows/deploy_all.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/deploy_all.yml b/.github/workflows/deploy_all.yml
index 3417ea7d0a..b4b6ebc814 100644
--- a/.github/workflows/deploy_all.yml
+++ b/.github/workflows/deploy_all.yml
@@ -30,6 +30,9 @@ jobs:
       with:
         token: ${{secrets.ACCESS_TOKEN}}
 
+    - name: ownership workaround
+      run: git config --system --add safe.directory '*'
+
     - name: make ${{matrix.target}}
       run: make ${{matrix.target}}