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