Skip to content

Conversation

@chessai
Copy link
Contributor

@chessai chessai commented Oct 21, 2025

No description provided.

edmundnoble
edmundnoble previously approved these changes Oct 21, 2025
jmcardon
jmcardon previously approved these changes Oct 21, 2025
@larskuhtz
Copy link
Contributor

I propose that we hold merging (or at least releasing) this until #2272 is merged, too.

It would be difficult to introduce #2272 without a coordinated fork.

Copy link
Contributor

@larskuhtz larskuhtz left a comment

Choose a reason for hiding this comment

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

While I approve the change, I propose that we don't merge that just yet.

If we decide to move ahead with #2272, we should make sure that we release and roll out both changes at the same time.

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.

4 participants