48439d9490
85e6279cec
@ -308,7 +308,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
```