Skip to content

Conversation

@rly
Copy link
Collaborator

@rly rly commented Jul 8, 2025

Based on feedback in #1003 (comment) and also going through the process.

@rly rly enabled auto-merge July 8, 2025 06:28
@rly rly requested a review from pauladkisson July 8, 2025 06:29
Copy link
Collaborator

@pauladkisson pauladkisson left a comment

Choose a reason for hiding this comment

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

Makes sense to me!

@rly rly merged commit 8f36654 into main Jul 8, 2025
27 checks passed
@rly rly deleted the release_instructions branch July 8, 2025 16:02
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.

3 participants