CI: retry push on rebase conflict in beta workflow

2026-05-11 20:58:13 +02:00
parent 747e26e5eb
commit c6d2ed8261
1 changed files with 4 additions and 2 deletions
@@ -75,5 +75,7 @@ jobs:
          git config user.email "github-actions[bot]@users.noreply.github.com"
          git add version-beta.json README.md
          git commit -m "Beta release ${{ github.ref_name }}"
-          git pull --rebase origin main
-          git push origin HEAD:main
+          for i in 1 2 3 4 5; do
+            git pull --rebase origin main && git push origin HEAD:main && break
+            echo "Push attempt $i failed, retrying..."; sleep 3
+          done