From 8db06c9ac63f79c33a33083f4769f50449961f91 Mon Sep 17 00:00:00 2001 From: Chaim Date: Sat, 4 Apr 2026 13:36:10 +0000 Subject: [PATCH] Set git default branch to main in Docker image Prevents master/main mismatch when pushing new case repos to Gitea. Co-Authored-By: Claude Opus 4.6 (1M context) --- Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index e48ebde..369b352 100644 --- a/Dockerfile +++ b/Dockerfile @@ -5,7 +5,8 @@ WORKDIR /app # System deps for PyMuPDF and document processing RUN apt-get update && apt-get install -y --no-install-recommends \ gcc libmupdf-dev libfreetype6-dev libharfbuzz-dev libjpeg62-turbo-dev \ - libopenjp2-7-dev curl git && rm -rf /var/lib/apt/lists/* + libopenjp2-7-dev curl git && rm -rf /var/lib/apt/lists/* && \ + git config --global init.defaultBranch main # Copy Ezer Mishpati MCP server source COPY mcp-server/pyproject.toml /app/mcp-server/pyproject.toml