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.
ietf-tools · Aug 22, 2022 · a4f9dfb · a4f9dfb
1 parent 701d5ce
commit a4f9dfb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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