diff options
| author | Arun Isaac | 2021-09-29 17:29:13 +0530 |
|---|---|---|
| committer | Arun Isaac | 2021-09-29 17:29:13 +0530 |
| commit | 08bdbb09563aee664a8c89c9136c0ea03fc9cd6c (patch) | |
| tree | 8cd796ff8e387d55d135488b95cfd1a012fb1621 /issues/gnbug | |
| parent | f0e0df200fb3839b47966ce8cefdadafa3166358 (diff) | |
| download | gn-gemtext-08bdbb09563aee664a8c89c9136c0ea03fc9cd6c.tar.gz | |
Reply on gnbug linter issue.
Diffstat (limited to 'issues/gnbug')
| -rw-r--r-- | issues/gnbug/add-linter.gmi | 4 |
1 files changed, 4 insertions, 0 deletions
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? |