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