Use the shell when invoking Git

anttiharju · Feb 22, 2025 · 1196739 · 1196739
1 parent 75ddc37
commit 1196739
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/publish-docs/action.yml b/.github/actions/publish-docs/action.yml
@@ -15,4 +15,4 @@ runs:
         GIT_COMMITTER_EMAIL: "anttiharju[bot]@users.noreply.github.com" 
       run: |
         pip install mkdocs
-        mkdocs gh-deploy
+        mkdocs gh-deploy --shell