From fe3353a16283d909ab8552042426b81488cf0d2d Mon Sep 17 00:00:00 2001
From: Tim Vink <vinktim@gmail.com>
Date: Tue, 12 Jul 2022 16:11:01 +0200
Subject: [PATCH] Updated docker image to work with newer versions of git,
 closes #4117 (#4118)

---
 Dockerfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Dockerfile b/Dockerfile
index 0247b8547..4a6faeb80 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -75,6 +75,9 @@ RUN \
     -path "*/__pycache__/*" \
     -exec rm -f {} \;
 
+# Trust git directory, required for git >= 2.35.2
+RUN git config --global --add safe.directory /docs
+
 # Set working directory
 WORKDIR /docs