Zulip Chat Archive
Stream: triage
Topic: issue #1924: New linters
Random Issue Bot (Apr 17 2021 at 14:22):
Today I chose issue 1924 for discussion!
New linters
Created by @Rob Lewis (@robertylewis) on 2020-01-29
Labels: CI, RFC
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Nov 09 2021 at 14:19):
Today I chose issue 1924 for discussion!
New linters
Created by @Rob Lewis (@robertylewis) on 2020-01-29
Labels: RFC, CI
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Feb 09 2022 at 14:16):
Today I chose issue 1924 for discussion!
New linters
Created by @Rob Lewis (@robertylewis) on 2020-01-29
Labels: RFC, CI
Is this issue still relevant? Any recent updates? Anyone making progress?
Arthur Paulino (Feb 09 2022 at 14:18):
I think this one can be closed since we don't want the remaining items
Random Issue Bot (Feb 22 2022 at 14:12):
Today I chose issue 1924 for discussion!
New linters
Created by @Rob Lewis (@robertylewis) on 2020-01-29
Labels: RFC, CI
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Apr 28 2022 at 14:18):
Today I chose issue 1924 for discussion!
New linters
Created by @Rob Lewis (@robertylewis) on 2020-01-29
Labels: RFC, CI
Is this issue still relevant? Any recent updates? Anyone making progress?
Arthur Paulino (Apr 28 2022 at 14:20):
The sixth item has been implemented in #11606 as an optional linter. It's ready for review :+1:
Arthur Paulino (May 06 2022 at 15:56):
@Rob Lewis #11606 is updated with the suggestions. Once it's merged I think #1924 can be closed
Last updated: Dec 20 2023 at 11:08 UTC