48439d9490
692973e3d9
@ -283,7 +283,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
```