From a4f9dfbf00bc9ffdf32e6c1e164dd0aa5d46b09d Mon Sep 17 00:00:00 2001
From: Martin Thomson <mt@lowentropy.net>
Date: Mon, 22 Aug 2022 13:41:10 +1000
Subject: [PATCH] build: Mark the xml2rfc directory as safe (#870)

Otherwise git won't work in the dev image.

I considered a tweak to .bashrc instead; but this seems fine.
---
 docker/dev.Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docker/dev.Dockerfile b/docker/dev.Dockerfile
index ac9128cde..da6a16009 100644
--- a/docker/dev.Dockerfile
+++ b/docker/dev.Dockerfile
@@ -31,6 +31,7 @@ RUN pip3 install \
     tox \
     decorator \
     dict2xml \
-    "pypdf2>=2.6.0"
+    "pypdf2>=2.6.0" && \
+    git config --global --add safe.directory /root/xml2rfc
 
 ENTRYPOINT bash