Merge 48439d9490 into e8d4307400

2026-07-12 20:45:37 +00:00 · 2026-07-09 22:20:02 -04:00 · 2026-07-09 22:20:02 -04:00 · f3c1c67418
commit f3c1c67418
parent e8d4307400 48439d9490
1 changed files with 1 additions and 1 deletions
--- a/README.md
+++ b/README.md
@ -368,7 +368,7 @@ jobs:
          git config user.name "github-actions[bot]"
          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
          git add .
-          git commit -m "generated"
+          git diff-index --quiet HEAD || git commit -m "generated"
          git push
 ```