Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

relax CommentWhitespace lint #313

Closed
a-frantz opened this issue Jan 24, 2025 · 0 comments · Fixed by #314
Closed

relax CommentWhitespace lint #313

a-frantz opened this issue Jan 24, 2025 · 0 comments · Fixed by #314
Labels
enhancement New feature or request good first issue Good for newcomers

Comments

@a-frantz
Copy link
Member

Discussion between me and Andrew T here.

The gist: CommentWhitespace complains about multiple spaces following a single pound sign comment (but not double pound sign comments) and that requirement should be relaxed. See the linked thread for examples.
@a-frantz a-frantz added enhancement New feature or request good first issue Good for newcomers labels Jan 24, 2025
@a-frantz a-frantz mentioned this issue Jan 24, 2025
Merged
12 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

revise: relax CommentWhitespace lint stjude-rust-labs/wdl
1 participant
@a-frantz