Skip to content

Conversation

@fregante
Copy link
Member

@fregante fregante commented May 7, 2023

Forgot to enable the lint rule

@fregante fregante added the meta Related to Refined GitHub itself label May 7, 2023
@fregante fregante marked this pull request as ready for review May 7, 2023 12:37
@fregante fregante merged commit 01dd06a into main May 7, 2023
@fregante fregante deleted the lint-extensions branch May 7, 2023 12:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

meta Related to Refined GitHub itself

Development

Successfully merging this pull request may close these issues.

1 participant