Introduce lucky_commit dist repository hashes

Author: ondrejmirtes

.github/workflows/phar.yml

@@ -235,14 +235,14 @@ jobs:
 
       - name: "Commit PHAR - development"
         if: "!startsWith(github.ref, 'refs/tags/')"
-        uses: stefanzweifel/git-auto-commit-action@v4
-        with:
-          commit_user_name: "Ondrej Mirtes"
-          commit_user_email: "[email protected]"
-          commit_author: "Ondrej Mirtes <[email protected]>"
-          commit_options: "--gpg-sign"
-          repository: phpstan-dist
-          commit_message: "Updated PHPStan to commit ${{ github.event.after }}\n\n${{ steps.git-log.outputs.log }}"
+        working-directory: phpstan-dist
+        run: |
+          git config --global user.name "Ondrej Mirtes"
+          git config --global user.email "[email protected]"
+          git add .
+          git commit --gpg-sign -m "Updated PHPStan to commit ${{ github.event.after }}\n\n${{ steps.git-log.outputs.log }}" --author "Ondrej Mirtes <[email protected]>"
+          lucky_commit ${{ steps.short-src-sha.outputs.sha }}
+          git push
 
       - name: "Commit PHAR - tag"
         if: "startsWith(github.ref, 'refs/tags/')"