Zulip Chat Archive
Stream: triage
Topic: PR !4#19547: perf: merge several style syntax linters
Random Issue Bot (Dec 06 2024 at 14:12):
Today I chose PR 19547 for discussion!
perf: merge several style syntax linters
Created by @None (@grunweg) on 2024-11-27
Labels: WIP, t-linter, awaiting-bench
Is this PR still relevant? Any recent updates? Anyone making progress?
Michael Rothgang (Dec 06 2024 at 22:55):
This PR is in proof-of-concept stage. A useful next step would be feedback
- does this endavour appear worth it?
- what is a good strategy for merging these linters? should one try to come up with a system of "meta-linters", or just go ahead with this PR?
- if the previous two answers are "yes, go ahead": comments on this particular PR
Last updated: May 02 2025 at 03:31 UTC