Skip to content

Conversation

@ucwong
Copy link
Contributor

@ucwong ucwong commented Oct 20, 2025

…multiple times

@ucwong ucwong requested a review from rjl493456442 as a code owner October 20, 2025 12:37
@jwasinger
Copy link
Contributor

It doesn't effectively make a difference and only makes the code marginally cleaner. We've stopped merging PRs that only introduce small changes without having a tangible affect on the code.

@jwasinger jwasinger closed this Oct 20, 2025
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