Try pushing from push.yml

Author: iluuu1994

.github/workflows/push.yml

@@ -290,6 +290,16 @@ jobs:
           echo opcache.enable_cli=1 >> /etc/php.d/opcache.ini
       - name: Benchmark
         run: php benchmark/benchmark.php true
+      - name: Push the update
+        run: |
+          set -x
+          cd benchmark/repos/data
+          git add .
+          if git diff --cached --quiet; then
+            exit 0
+          fi
+          git commit -m "Add result for ${{ github.repository }}@${{ steps.determine-commit.outputs.sha }}"
+          git push
       - name: Show diff
         if: github.event_name == 'pull_request'
         run: >-

benchmark/benchmark.php

@@ -38,9 +38,9 @@ function commitResult(string $result) {
     }
     file_put_contents($summaryFile, $result);
 
-    runCommand(['git', 'add', '--end-of-options', $summaryFile], $repo);
-    runCommand(['git', 'commit', '--allow-empty', '-m', 'Add result for php/php-src@' . $commitHash, '--author', 'Benchmark <benchmark@php.net>'], $repo);
-    runCommand(['git', 'push'], $repo);
+    // runCommand(['git', 'add', '--end-of-options', $summaryFile], $repo);
+    // runCommand(['git', 'commit', '--allow-empty', '-m', 'Add result for php/php-src@' . $commitHash, '--author', 'Benchmark <benchmark@php.net>'], $repo);
+    // runCommand(['git', 'push'], $repo);
 }
 
 function getPhpSrcCommitHash(): string {