changed merge strategy to rebase to maintain linear history

This commit was merged in pull request #33.
This commit is contained in:
2025-10-17 12:10:48 -05:00
committed by Jason Ross
parent 1525d9d8ed
commit 13c46f410a
+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