From 34a1b491f6553851d9fae516c8fad38ffb51a912 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Sun, 13 Jul 2025 01:57:18 -0700 Subject: [PATCH] docker: refine git safe.directory Signed-off-by: Gerwin Klein --- tools/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/Dockerfile b/tools/Dockerfile index c3cab9d470..783007c1a8 100644 --- a/tools/Dockerfile +++ b/tools/Dockerfile @@ -39,7 +39,7 @@ RUN mkdir -p /opt/microkit/sdk \ RUN mkdir -p /opt/seL4 && ln -s /opt/microkit/sdk/board/qemu_virt_aarch64/debug/ /opt/seL4/libsel4 -RUN git config --global --add safe.directory '*' +RUN git config --global --add safe.directory '/docs' # Jekyll will be serving on 127.0.0.1:4000 EXPOSE 4000