Skip to content

Github workflow tuning.#1572

Merged
benflexcompute merged 2 commits intomainfrom
BenY/SkipMergeInReleaseNoteAlsoAutoMergeMergeByDefault
Nov 10, 2025
Merged

Github workflow tuning.#1572
benflexcompute merged 2 commits intomainfrom
BenY/SkipMergeInReleaseNoteAlsoAutoMergeMergeByDefault

Conversation

@benflexcompute
Copy link
Collaborator

@benflexcompute benflexcompute commented Nov 10, 2025

  1. Skips auto merge commits in release notes.
  2. Switch to merge commit for auto merge PRs

@benflexcompute benflexcompute merged commit d30972f into main Nov 10, 2025
4 checks passed
@benflexcompute benflexcompute deleted the BenY/SkipMergeInReleaseNoteAlsoAutoMergeMergeByDefault branch November 10, 2025 18:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant