Skip to content

chore: merge main into develop before 3.7.0 promotion - #2218

Merged
igorls merged 2 commits into
developfrom
chore/sync-main-into-develop
Aug 11, 2026
Merged

chore: merge main into develop before 3.7.0 promotion#2218
igorls merged 2 commits into
developfrom
chore/sync-main-into-develop

Conversation

@igorls

@igorls igorls commented Aug 11, 2026

Copy link
Copy Markdown
Member

Summary

main is one merge-commit ahead of develop (the v3.6.0 promotion #2020). Branch protection on main requires the head branch to be up to date (strict: true) before merging the 3.7.0 release PR.

This is a no-content merge of main into develop so #2129 can promote cleanly.

Copilot AI lite review requested due to automatic review settings August 11, 2026 12:26
@igorls
igorls merged commit cb7ba7f into develop Aug 11, 2026

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot wasn't able to review any files in this pull request.


💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

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.

2 participants