@@ -357,6 +357,7 @@ jobs:
run: |
git config user.email "none"
git config user.name "GH Action"
+ git status -vv
git add -A
git diff-index --quiet HEAD || git commit -m "updated (https://github.com/floooh/sokol/commit/${{ github.sha }})"
echo "FIXME: GIT PUSH"