Skip to content

Conversation

cclauss
Copy link
Contributor

@cclauss cclauss commented Sep 5, 2025

@cclauss cclauss force-pushed the ruff branch 3 times, most recently from bf47eed to 1458c3e Compare September 5, 2025 08:19
Copy link
Collaborator

@julianoes julianoes left a comment

Choose a reason for hiding this comment

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

Thanks @cclauss. I've added a commit to my PR inspired by this.

@julianoes
Copy link
Collaborator

Incorporated in #786

@julianoes julianoes closed this Sep 9, 2025
@cclauss cclauss deleted the ruff branch September 10, 2025 04:23
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