Do dir permissions for git

Author: hjwp

.github/workflows/tests.yml

@@ -16,13 +16,24 @@ jobs:
         with:
           submodules: recursive
 
-      - name: build venv
+      - name: upgrade dependencies
         run: |
           docker run --rm \
             --mount type=bind,source=./,target=/app \
             -t hjwp/obeythetestinggoat-book-tester:latest \
             bash -c "uv pip install --upgrade ."
 
+      - name: git mark dirs safe (due to volume mount perms issue)
+        run: |
+          docker run --rm \
+            --mount type=bind,source=./,target=/app \
+            -t hjwp/obeythetestinggoat-book-tester:latest \
+            git config --global --add safe.directory /app
+          docker run --rm \
+            --mount type=bind,source=./,target=/app \
+            -t hjwp/obeythetestinggoat-book-tester:latest \
+            bash -c "ls -d source/*/superlists/ | xargs -n1 git config --global --add safe.directory"
+
       - name: test chapter 1
         run: |
           docker run --rm \

Dockerfile

@@ -28,8 +28,7 @@ RUN ln -s $HOME/.cargo/bin/uv /usr/bin/uv
 
 RUN git config --global user.email "[email protected]" && \
     git config --global user.name "Elspeth See-Eye" && \
-    git config --global init.defaultBranch main && \
-    git config --global --add safe.directory /app
+    git config --global init.defaultBranch main
 
 WORKDIR /app
 RUN uv venv /venv