changed merge strategy to rebase to maintain linear history

This commit is contained in:
2025-10-17 12:07:24 -05:00
parent c25f850cc2
commit f7cc12c9ab
+2 -2
View File
@@ -414,8 +414,8 @@ jobs:
echo "pr_number=$PR_NUMBER" >> $GITHUB_OUTPUT
echo "Created PR #$PR_NUMBER: $PR_URL"
# Enable auto-merge (merge commit to maintain history)
if ! gh pr merge "$PR_NUMBER" --auto --merge --repo ${{ github.repository }}; then
# Enable auto-merge (rebase for fast-forward)
if ! gh pr merge "$PR_NUMBER" --auto --rebase --repo ${{ github.repository }}; then
echo "::error::Failed to enable auto-merge for PR #$PR_NUMBER"
exit 1
fi