Skip to content

Add option to drop the colon#10

Open
molikto wants to merge 3 commits intobbugh:masterfrom
molikto:require_colon
Open

Add option to drop the colon#10
molikto wants to merge 3 commits intobbugh:masterfrom
molikto:require_colon

Conversation

@molikto
Copy link

@molikto molikto commented Oct 9, 2024

fix #8 by adding an option "require-colon" that are default to true.

@bbugh
Copy link
Owner

bbugh commented Nov 2, 2025

Hello @molikto! I missed this when you submitted it last year, sorry about that. So many github notifications.

I think this is a good idea, and I would instead suggest including the colon in the terms itself. That way people can configure it custom however they want, rather than having a specific configuration option just for the colons.

I know it's been a while. Do you want to make that change and submit again?

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.

A suggestion to drop mandatory colon symbol from git grep check

2 participants