Skip to content

Allow running linters on existing code#44

Merged
cap10morgan merged 1 commit intomainfrom
dev/manual-linting
Apr 2, 2024
Merged

Allow running linters on existing code#44
cap10morgan merged 1 commit intomainfrom
dev/manual-linting

Conversation

@cap10morgan
Copy link
Contributor

Same as the :pre-commit git hook, but sometimes you want to lint what’s already there.

@cap10morgan cap10morgan requested a review from a team April 1, 2024 17:06
Copy link
Contributor

@zonotope zonotope left a comment

Choose a reason for hiding this comment

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

🧶

Same as the :pre-commit git hook, but sometimes you want to lint what’s already there.
@cap10morgan cap10morgan merged commit 3133151 into main Apr 2, 2024
@cap10morgan cap10morgan deleted the dev/manual-linting branch April 2, 2024 15:26
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