Skip to content

clarify: require real interrogatives, ban topic-label questions - #3745

Merged
mnriem merged 3 commits into
github:mainfrom
orize:clarify-question-writing-quality
Jul 28, 2026
Merged

clarify: require real interrogatives, ban topic-label questions#3745
mnriem merged 3 commits into
github:mainfrom
orize:clarify-question-writing-quality

clarify: allow requirement ids only after the ?

bc1660b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ruff
succeeded Jul 28, 2026 in 8s