Zulip Chat Archive
Stream: triage
Topic: PR !4#27895: feat: separate linter error message for empt...
Random Issue Bot (Aug 14 2025 at 14:44):
Today I chose PR #27895 for discussion!
feat: separate linter error message for empty doc-strings
Created by @None (@grunweg) on 2025-08-03
Labels: t-linter
Is this PR still relevant? Any recent updates? Anyone making progress?
Michael Rothgang (Aug 14 2025 at 15:46):
Still relevant, waiting on review
Yaël Dillies (Aug 14 2025 at 15:47):
Who knows what could have happened in 11 days! :thinking:
Damiano Testa (Aug 14 2025 at 15:54):
Well, this reminded me about the PR and I wrote a review! :slight_smile:
Last updated: Dec 20 2025 at 21:32 UTC