Add rebase before push in both workflows to handle concurrent commits

2026-05-07 23:30:18 +02:00
parent c3ea2be809
commit 7b03909c55
2 changed files with 2 additions and 0 deletions
@@ -91,6 +91,7 @@ jobs:
          git config user.email "github-actions[bot]@users.noreply.github.com"
          git add version.json README.md
          git commit -m "Release ${{ github.ref_name }}"
+          git pull --rebase origin main
          git push origin HEAD:main

      - name: Update Homebrew tap