From 08bdbb09563aee664a8c89c9136c0ea03fc9cd6c Mon Sep 17 00:00:00 2001 From: Arun Isaac Date: Wed, 29 Sep 2021 17:29:13 +0530 Subject: Reply on gnbug linter issue. --- issues/gnbug/add-linter.gmi | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'issues/gnbug') diff --git a/issues/gnbug/add-linter.gmi b/issues/gnbug/add-linter.gmi index 349c777..7a036e4 100644 --- a/issues/gnbug/add-linter.gmi +++ b/issues/gnbug/add-linter.gmi @@ -7,3 +7,7 @@ to add then the linter reminds them to add more info, tags, etc. Or, maybe we want to check that the user does not add a tag that we don't want to 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? -- cgit v1.2.3