Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 14 additions & 1 deletion .github/workflows/american-to-british.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
15 changes: 14 additions & 1 deletion .github/workflows/british-to-american.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
15 changes: 14 additions & 1 deletion .github/workflows/haxor.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
15 changes: 14 additions & 1 deletion .github/workflows/typewriter.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
15 changes: 14 additions & 1 deletion .github/workflows/word-censor.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
Loading