Skip to content

Conversation

@chinganc
Copy link
Member

@chinganc chinganc commented Dec 5, 2025

No description provided.

@chinganc chinganc requested a review from allenanie December 5, 2025 23:22
@chinganc chinganc self-assigned this Dec 5, 2025
@chinganc
Copy link
Member Author

chinganc commented Dec 5, 2025

Does this look good to you @allenanie?
I think this may be a more reasonable tie breaking strategy than the original default.
If so, we can merge.

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