fix: prevent main branch deletion in sync_beta step
Added --no-delete-branch flag to gh pr merge commands in the sync_beta job. This prevents GitHub's auto-delete feature from removing the main branch when the sync PR (main -> beta) merges. Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>beta
parent
c21b65efb5
commit
ebe0296b51
|
|
@ -350,7 +350,8 @@ jobs:
|
||||||
run: |
|
run: |
|
||||||
set -euo pipefail
|
set -euo pipefail
|
||||||
# Enable auto-merge (requires repo setting "Allow auto-merge")
|
# Enable auto-merge (requires repo setting "Allow auto-merge")
|
||||||
gh pr merge "$PR_NUMBER" --merge --auto || true
|
# Use --no-delete-branch to prevent deleting main (the head branch)
|
||||||
|
gh pr merge "$PR_NUMBER" --merge --auto --no-delete-branch || true
|
||||||
# Wait for PR to be merged (poll up to 2 minutes)
|
# Wait for PR to be merged (poll up to 2 minutes)
|
||||||
for i in {1..24}; do
|
for i in {1..24}; do
|
||||||
STATE=$(gh pr view "$PR_NUMBER" --json state -q '.state')
|
STATE=$(gh pr view "$PR_NUMBER" --json state -q '.state')
|
||||||
|
|
@ -362,7 +363,7 @@ jobs:
|
||||||
sleep 5
|
sleep 5
|
||||||
done
|
done
|
||||||
echo "Sync PR did not merge in time. Attempting direct merge..."
|
echo "Sync PR did not merge in time. Attempting direct merge..."
|
||||||
gh pr merge "$PR_NUMBER" --merge
|
gh pr merge "$PR_NUMBER" --merge --no-delete-branch
|
||||||
|
|
||||||
publish_docker:
|
publish_docker:
|
||||||
name: Publish Docker image
|
name: Publish Docker image
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue