Use squash merge when promoting stable releases to main

Co-authored-by: jmiller-moko <230051081+jmiller-moko@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot]
2026-01-05 08:26:18 +00:00
parent bbb50580cd
commit f7c05ab788

View File

@@ -1007,7 +1007,7 @@ else:
--body "Automated PR created by release pipeline. Version branch is retained by policy." \ --body "Automated PR created by release pipeline. Version branch is retained by policy." \
|| true || true
- name: Attempt to merge PR (best effort) - name: Attempt to merge PR (best effort, squash merge)
env: env:
GH_TOKEN: ${{ github.token }} GH_TOKEN: ${{ github.token }}
run: | run: |
@@ -1021,7 +1021,7 @@ else:
exit 1 exit 1
fi fi
gh pr merge "${PR_NUMBER}" --merge --delete-branch=false \ gh pr merge "${PR_NUMBER}" --squash --delete-branch=false \
|| echo "PR merge blocked by branch protection or policy" >> "${GITHUB_STEP_SUMMARY}" || echo "PR merge blocked by branch protection or policy" >> "${GITHUB_STEP_SUMMARY}"
- name: Report run context (always) - name: Report run context (always)