Make sure that the git user is configured

man-group · Oct 31, 2024 · d2ea6b1 · d2ea6b1
1 parent 2e5599b
commit d2ea6b1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docs_build.yml b/.github/workflows/docs_build.yml
@@ -56,6 +56,8 @@ jobs:
           set -x
           cd docs/mkdocs
           sed -i "s/VERSION_PLACEHOLDER/v${{inputs.version}}/g" overrides/main.html
+          git config --global user.name "${GITHUB_ACTOR}"
+          git config --global user.email "${GITHUB_ACTOR_ID}+${GITHUB_ACTOR}@users.noreply.github.com"
           git add overrides/main.html
           git commit -m "Update version placeholder to v${{inputs.version}}"