Skip to content

chore: migrate to GitHub native merge queue#5871

Merged
olegsu merged 2 commits intomainfrom
chore/use-github-native-merge-queue-v2
May 1, 2026
Merged

chore: migrate to GitHub native merge queue#5871
olegsu merged 2 commits intomainfrom
chore/use-github-native-merge-queue-v2

Conversation

@olegsu
Copy link
Copy Markdown
Collaborator

@olegsu olegsu commented May 1, 2026

No description provided.

Remove Mergify's queue_rules and switch Renovate to platformAutomerge
so both tools route through the GitHub branch ruleset merge queue instead
of Mergify's speculative queue.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@olegsu olegsu requested a review from a team as a code owner May 1, 2026 13:19
@mergify mergify Bot assigned olegsu May 1, 2026
@mergify
Copy link
Copy Markdown
Contributor

mergify Bot commented May 1, 2026

This pull request does not have a backport label. Could you fix it @olegsu? 🙏
To fixup this pull request, you need to add the backport labels for the needed
branches, such as:

  • backport-v./d./d./d is the label to automatically backport to the 8./d branch. /d is the digit
  • backport-active-all is the label that automatically backports to all active branches.
  • backport-active-8 is the label that automatically backports to all active minor branches for the 8 major.
  • backport-active-9 is the label that automatically backports to all active minor branches for the 9 major.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@olegsu olegsu merged commit 7067243 into main May 1, 2026
9 of 11 checks passed
@olegsu olegsu deleted the chore/use-github-native-merge-queue-v2 branch May 1, 2026 13:21
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