fix(workflow): rebase-retry on push to handle concurrent run races

2026-09-03 18:16:16 +00:00 · 2026-05-13 14:45:59 +07:00
parent db1040bbe8
commit 515315de78
1 changed files with 7 additions and 1 deletions
@@ -46,4 +46,10 @@ jobs:
            exit 0
          fi
          git commit -m "chore: daily ranking refresh"
-          git push
+          # rebase + retry guards against the race where two runs commit near-simultaneously
+          for attempt in 1 2 3; do
+            if git push; then exit 0; fi
+            echo "push attempt $attempt rejected, rebasing on origin/main"
+            git pull --rebase origin main
+          done
+          exit 1