fixup

Author: Krastanov

.github/workflows/prprecommit.yml

@@ -36,7 +36,7 @@ jobs:
       run: |
         git config --local user.email "[email protected]"
         git config --local user.name "PR Pre-Commit Bot"
-        git commit -m "add bot commits" -a
+        git diff-index --quiet HEAD || git commit -m "add bot commits" -a
     - name: Push changes
       uses: ad-m/[email protected]
       with: