Skip to content

Conversation

@normanrz
Copy link
Member

@normanrz normanrz commented May 6, 2025

Right now, it is not always clear if users still want feedback from the community on their PRs against this repository or whether it is ready for final review and merge. With this change, I am proposing to use the "draft PR" feature in Github to clarify the state of PRs.

Copy link
Member

@joshmoore joshmoore left a comment

Choose a reason for hiding this comment

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

MSTM

@joshmoore
Copy link
Member

Merging proactively. Easy enough to rework this as we get more feedback on the process.

@joshmoore joshmoore merged commit 2e672e7 into main May 12, 2025
@joshmoore joshmoore deleted the normanrz-patch-1 branch May 12, 2025 14:49
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