dockerfile: fix git dubious ownership / safe directory when using GH …

…actions Safety feature from git. Let's handle that in the container. Signed-off-by: Hans Binderup <[email protected]>
hansbinderup · Feb 28, 2025 · b04eee2 · b04eee2
1 parent 2956454
commit b04eee2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -27,5 +27,8 @@ WORKDIR /workspace
 # Change ownership of the workspace to "user"
 RUN chown -R user:user /workspace
 
+# fix for dubious ownership when using Github Actions
+RUN git config --global --add safe.directory /__w/meltdown-chess-engine
+
 # Switch to the non-root user
 USER user