From 6751f9eebfba95a8f3fd2373a8eee12254ae9474 Mon Sep 17 00:00:00 2001 From: jgart Date: Thu, 28 Oct 2021 20:31:48 -0400 Subject: Add comment to add-linter issue --- issues/gnbug/add-linter.gmi | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/issues/gnbug/add-linter.gmi b/issues/gnbug/add-linter.gmi index 7992753..1a8a301 100644 --- a/issues/gnbug/add-linter.gmi +++ b/issues/gnbug/add-linter.gmi @@ -14,3 +14,11 @@ support. I am not sure. Pjotr is of the philosophy that we should keep the text as unstructured and unrestrictive as possible, and I agree with this philosophy. Linters are likely to annoy users more than help them. They might discourage casual use of the issue tracker. Especially with tags, we don't really want to restrict the user from coming up with new tags. WDYT? Am I missing some scenario where the linter could be essential? + +Nope, it was just something I thought could be convenient if we wanted to restrict +the format for tags, etc... + +If we'd like to "keep the text as unstructured and unrestrictive as possible" I'm +fine with that too. + +I was just worried about using "invalid" tags. Now, I know it's ok :) -- cgit v1.2.3