Retry release-bump push with --rebase on concurrent contention

When multiple SE5 plugin workflows are dispatched at the same time
(e.g. 'release them all') they all check out the same SHA, all create
bump commits, and only one wins the push. The others got 'rejected
(fetch first)' and failed the run.

Wrap the push in a small retry loop: on rejection, git pull --rebase
to fold the other plugin's bump under our own and try again. Up to 5
attempts, then fail loudly.

Different plugins touch different plugin.json files so the rebase
never conflicts; same-plugin double-dispatch is not a realistic case.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: niksedk

.github/workflows/american-to-british.yml

@@ -65,7 +65,20 @@ jobs:
             git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
             git add se5/AmericanToBritish/plugin.json
             git commit -m "Bump AmericanToBritish to $version [skip ci]"
-            git push
+
+            # Retry-with-rebase: if a concurrent release dispatched for a different
+            # plugin won the push first, pull --rebase and try again.
+            attempts=0
+            while ! git push 2>/tmp/push.err; do
+              attempts=$((attempts + 1))
+              if [ "$attempts" -ge 5 ]; then
+                echo "Failed to push after $attempts attempts:" >&2
+                cat /tmp/push.err >&2
+                exit 1
+              fi
+              echo "Push rejected (attempt $attempts), pulling --rebase and retrying..."
+              git pull --rebase --no-edit
+            done
             ref=$(git rev-parse HEAD)
 
             IFS=. read -r major minor patch <<< "$version"

.github/workflows/british-to-american.yml

@@ -65,7 +65,20 @@ jobs:
             git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
             git add se5/BritishToAmerican/plugin.json
             git commit -m "Bump BritishToAmerican to $version [skip ci]"
-            git push
+
+            # Retry-with-rebase: if a concurrent release dispatched for a different
+            # plugin won the push first, pull --rebase and try again.
+            attempts=0
+            while ! git push 2>/tmp/push.err; do
+              attempts=$((attempts + 1))
+              if [ "$attempts" -ge 5 ]; then
+                echo "Failed to push after $attempts attempts:" >&2
+                cat /tmp/push.err >&2
+                exit 1
+              fi
+              echo "Push rejected (attempt $attempts), pulling --rebase and retrying..."
+              git pull --rebase --no-edit
+            done
             ref=$(git rev-parse HEAD)
 
             IFS=. read -r major minor patch <<< "$version"

.github/workflows/haxor.yml

@@ -63,7 +63,20 @@ jobs:
             git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
             git add se5/Haxor/plugin.json
             git commit -m "Bump Haxor to $version [skip ci]"
-            git push
+
+            # Retry-with-rebase: if a concurrent release dispatched for a different
+            # plugin won the push first, pull --rebase and try again.
+            attempts=0
+            while ! git push 2>/tmp/push.err; do
+              attempts=$((attempts + 1))
+              if [ "$attempts" -ge 5 ]; then
+                echo "Failed to push after $attempts attempts:" >&2
+                cat /tmp/push.err >&2
+                exit 1
+              fi
+              echo "Push rejected (attempt $attempts), pulling --rebase and retrying..."
+              git pull --rebase --no-edit
+            done
             ref=$(git rev-parse HEAD)
 
             IFS=. read -r major minor patch <<< "$version"

.github/workflows/typewriter.yml

@@ -63,7 +63,20 @@ jobs:
             git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
             git add se5/TypewriterEffect/plugin.json
             git commit -m "Bump TypewriterEffect to $version [skip ci]"
-            git push
+
+            # Retry-with-rebase: if a concurrent release dispatched for a different
+            # plugin won the push first, pull --rebase and try again.
+            attempts=0
+            while ! git push 2>/tmp/push.err; do
+              attempts=$((attempts + 1))
+              if [ "$attempts" -ge 5 ]; then
+                echo "Failed to push after $attempts attempts:" >&2
+                cat /tmp/push.err >&2
+                exit 1
+              fi
+              echo "Push rejected (attempt $attempts), pulling --rebase and retrying..."
+              git pull --rebase --no-edit
+            done
             ref=$(git rev-parse HEAD)
 
             IFS=. read -r major minor patch <<< "$version"

.github/workflows/word-censor.yml

@@ -65,7 +65,20 @@ jobs:
             git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
             git add se5/WordCensor/plugin.json
             git commit -m "Bump WordCensor to $version [skip ci]"
-            git push
+
+            # Retry-with-rebase: if a concurrent release dispatched for a different
+            # plugin won the push first, pull --rebase and try again.
+            attempts=0
+            while ! git push 2>/tmp/push.err; do
+              attempts=$((attempts + 1))
+              if [ "$attempts" -ge 5 ]; then
+                echo "Failed to push after $attempts attempts:" >&2
+                cat /tmp/push.err >&2
+                exit 1
+              fi
+              echo "Push rejected (attempt $attempts), pulling --rebase and retrying..."
+              git pull --rebase --no-edit
+            done
             ref=$(git rev-parse HEAD)
 
             IFS=. read -r major minor patch <<< "$version"