Bugfix: mark current directory safe for git

mmore500 · Nov 30, 2023 · c5eaa41 · c5eaa41
1 parent 81f341e
commit c5eaa41
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -57,7 +57,7 @@ jobs:
       # - run: cd binder && ./execute_notebooks.sh
       # adapted from https://unix.stackexchange.com/a/545630
       - run: find -type f -name "*.pdf" -exec bash -c 'gs -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dPDFSETTINGS=/screen -dNOPAUSE -dBATCH -dQUIET -sOutputFile="new.pdf" "{}"; rm "{}"; mv "new.pdf" "{}";' {} \;
-      - run: git config --global --add safe.directory /
+      - run: git config --global --add safe.directory .
       - run: git init
       - uses: fregante/setup-git-user@v1
       - run: git commit --allow-empty -m "Initial commit"