Merge pull request #2 from WinstonSung/main

Add an exception to the git ownership checks
wmde · Mar 6, 2023 · 243025e · 243025e · lucaswerkmeister · Mar 6, 2023
2 parents 404387c + 60aafd5
commit 243025e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -5,6 +5,9 @@ RUN apk update && apk upgrade && \
 
 RUN pip3 install git-filter-repo
 
+# T314987: Git require the .git folder to be owned by the same user
+RUN git config --system --add safe.directory /github/workspace
+
 COPY entrypoint.sh /entrypoint.sh
 
 ENTRYPOINT ["/entrypoint.sh"]