Skip to content

Conversation

jackfirth
Copy link
Owner

@jackfirth jackfirth added the new lint Issues suggesting new lints or pull requests implementing new lints label Mar 9, 2025
@jackfirth jackfirth enabled auto-merge (squash) March 9, 2025 11:45
@jackfirth jackfirth merged commit 77c4568 into master Mar 9, 2025
2 checks passed
@jackfirth jackfirth deleted the lint-format-symbol branch March 9, 2025 11:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

new lint Issues suggesting new lints or pull requests implementing new lints

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant