ci: Use better github-actions user name/email

This one links to the GitHub Actions app.
This commit is contained in:
Tomas Janousek 2023-07-16 14:47:58 +01:00
parent 1aac6611d8
commit a24e9b4c7f

View File

@ -26,8 +26,8 @@ jobs:
- name: Commit/push if changed - name: Commit/push if changed
run: | run: |
set -ex set -ex
git config user.name github-actions git config user.name 'github-actions[bot]'
git config user.email github-actions@github.com git config user.email '41898282+github-actions[bot]@users.noreply.github.com'
git diff --quiet --exit-code && exit git diff --quiet --exit-code && exit
git commit -a -m 'man: Update' git commit -a -m 'man: Update'
git push git push