Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

New lint: needless_doc_main #4603

Merged
merged 1 commit into from
Oct 2, 2019
Merged

New lint: needless_doc_main #4603

merged 1 commit into from
Oct 2, 2019

Conversation

llogiq
Copy link
Contributor

@llogiq llogiq commented Sep 30, 2019

changelog: Add needless_doc_main lint

Copy link
Member

@flip1995 flip1995 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Only a NIT in the lint docs.

clippy_lints/src/doc.rs Outdated Show resolved Hide resolved
@flip1995
Copy link
Member

flip1995 commented Oct 2, 2019

Thanks!

@bors r+

@bors
Copy link
Collaborator

bors commented Oct 2, 2019

📌 Commit 23a9c02 has been approved by flip1995

bors added a commit that referenced this pull request Oct 2, 2019
New lint: needless_doc_main

changelog: Add `needless_doc_main` lint
@bors
Copy link
Collaborator

bors commented Oct 2, 2019

⌛ Testing commit 23a9c02 with merge 844765c...

@bors
Copy link
Collaborator

bors commented Oct 2, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: flip1995
Pushing 844765c to master...

@bors bors merged commit 23a9c02 into master Oct 2, 2019
@bors bors mentioned this pull request Oct 2, 2019
@llogiq llogiq deleted the needless-doc-main branch October 2, 2019 18:46
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.

3 participants