Chore: Use personal git identity for CI badge commits

This commit is contained in:
phranck
2026-02-02 16:57:23 +01:00
parent 63b6513046
commit 88f632b8ed
+2 -2
View File
@@ -100,8 +100,8 @@ jobs:
- name: Commit if changed
run: |
git diff --quiet README.md && echo "No changes" && exit 0
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
git config user.name "Frank Gregor"
git config user.email "phranck@mac.com"
git add README.md
# [skip ci] prevents the push from triggering another workflow run
git commit -m "Chore: Update test count badge to ${{ steps.counts.outputs.tests }} tests [skip ci]"