Skip to content

Improve Clippy dev help #3856

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

Merged
merged 1 commit into from Mar 8, 2019
Merged

Improve Clippy dev help #3856

merged 1 commit into from Mar 8, 2019

Conversation

ghost
Copy link

@ghost ghost commented Mar 8, 2019

  • Print help if no subcommand is supplied
  • Make a short version of update_lints help for the subcommand listing

+ Print help if no subcommand is supplied
+ Make a short version of `update_lints` help for the subcommand listing
@phansch
Copy link
Member

phansch commented Mar 8, 2019

@bors r+ nice!

@bors
Copy link
Contributor

bors commented Mar 8, 2019

📌 Commit acd6d4d has been approved by phansch

@bors
Copy link
Contributor

bors commented Mar 8, 2019

⌛ Testing commit acd6d4d with merge 9702b3d...

bors added a commit that referenced this pull request Mar 8, 2019
Improve Clippy dev help

+ Print help if no subcommand is supplied
+ Make a short version of `update_lints` help for the subcommand listing
@bors
Copy link
Contributor

bors commented Mar 8, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: phansch
Pushing 9702b3d to master...

@bors bors merged commit acd6d4d into rust-lang:master Mar 8, 2019
@ghost ghost deleted the clippy-dev-enchancement-1 branch May 11, 2019 08:07
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.

2 participants