Merge pull request #466 from Julian/dependabot/github_actions/stefanzweifel/git-auto-commit-action-7.1.0

Bump stefanzweifel/git-auto-commit-action from 7.0.0 to 7.1.0

Author: Julian

.github/workflows/abbreviations.yml

@@ -21,6 +21,6 @@ jobs:
           gh api -H 'Accept: application/vnd.github.raw' '/repos/leanprover/vscode-lean4/contents/lean4-unicode-input/src/abbreviations.json' >vscode-lean/abbreviations.json
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-      - uses: stefanzweifel/git-auto-commit-action@28e16e81777b558cc906c8750092100bbb34c5e3
+      - uses: stefanzweifel/git-auto-commit-action@04702edda442b2e678b25b537cec683a1493fcb9
         with:
           commit_message: Sync abbreviations with the VSCode definitions

.github/workflows/docs.yml

@@ -32,7 +32,7 @@ jobs:
         run: just docs
 
       - name: Commit
-        uses: stefanzweifel/git-auto-commit-action@28e16e81777b558cc906c8750092100bbb34c5e3
+        uses: stefanzweifel/git-auto-commit-action@04702edda442b2e678b25b537cec683a1493fcb9
         with:
           branch: ${{ github.head_ref }}
           commit_message: "Regenerate vimdocs"