Skip to content

chore: stop denying missing_docs - #10

Merged
mysma-9403 merged 1 commit into
mainfrom
chore/drop-missing-docs
Oct 11, 2026
Merged

mysma-9403 merged 1 commit into
mainfrom
chore/drop-missing-docs

Conversation

@mysma-9403

Copy link
Copy Markdown
Contributor

Five crates denied missing_docs. Nothing in the tree is undocumented today, so this changes no file and no build — it stops the next public item from being required to carry a sentence.

Worth recording because it is easy to misread as a saving: the lint's floor was one summary line per public item, 793 lines across the workspace, 3% of it. The comment volume was never the lint, and removing it does not move the density.

536 tests, fmt and clippy clean.

Five crates denied it. Nothing in the tree is undocumented today, so this
changes no file and no build — it stops the next public item from being
required to carry a sentence.

Recorded because it is easy to misread as a saving: the lint's floor was one
summary line per public item, 793 lines across the workspace, which is 3% of
it. The comment volume was never the lint.
@mysma-9403
mysma-9403 merged commit 815db3d into main Oct 11, 2026
1 check passed
@mysma-9403
mysma-9403 deleted the chore/drop-missing-docs branch October 11, 2026 11:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant