Merge 48439d94901829e3d3311b6f5061964f3f839ae9 into b4ffde65f46336ab88eb53be808477a3936bae11

2023-10-19 16:30:19 +02:00 · 2023-10-19 16:30:19 +02:00 · 9bb3cd07a3
commit 9bb3cd07a3
parent b4ffde65f4 48439d9490
1 changed files with 1 additions and 1 deletions
--- a/README.md
+++ b/README.md
@ -277,7 +277,7 @@ jobs:
          git config user.name github-actions
          git config user.email github-actions@github.com
          git add .
-          git commit -m "generated"
+          git diff-index --quiet HEAD || git commit -m "generated"
          git push
 ```