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

Forward rust version number to tools #56134

Merged
merged 1 commit into from
Nov 21, 2018

Conversation

oli-obk
Copy link
Contributor

@oli-obk oli-obk commented Nov 21, 2018

Clippy uses it to identify the correct documentation to point to

cc @Manishearth @nrc

sibling PR in clippy: rust-lang/rust-clippy#3442

@rust-highfive
Copy link
Collaborator

r? @nikomatsakis

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 21, 2018
@rust-highfive

This comment has been minimized.

Clippy uses it to identify the correct documentation to point to
@oli-obk oli-obk force-pushed the clippy_documentation branch from 1bc1058 to 33efce1 Compare November 21, 2018 13:53
@oli-obk oli-obk added the beta-nominated Nominated for backporting to the compiler in the beta channel. label Nov 21, 2018
@oli-obk
Copy link
Contributor Author

oli-obk commented Nov 21, 2018

Beta nominating to get rustup clippy to point to docs that actually correspond to the lints in the code

@nrc
Copy link
Member

nrc commented Nov 21, 2018

@bors r+ p=1

@bors
Copy link
Contributor

bors commented Nov 21, 2018

📌 Commit 33efce1 has been approved by nrc

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Nov 21, 2018
@nrc nrc added this to the Rust 2018 Release milestone Nov 21, 2018
@bors
Copy link
Contributor

bors commented Nov 21, 2018

⌛ Testing commit 33efce1 with merge 0b9f19d...

bors added a commit that referenced this pull request Nov 21, 2018
Forward rust version number to tools

Clippy uses it to identify the correct documentation to point to

cc @Manishearth @nrc

sibling PR in clippy: rust-lang/rust-clippy#3442
@alexcrichton
Copy link
Member

@oli-obk does clippy itself need a backport to take advantage of this? Or do we just need to backport this patch

@oli-obk
Copy link
Contributor Author

oli-obk commented Nov 21, 2018

Clippy needs a backport, too. the sibling PR in the op must also be added

@alexcrichton
Copy link
Member

Sure thing, although should clippy have been included in this PR?

@bors
Copy link
Contributor

bors commented Nov 21, 2018

☀️ Test successful - status-appveyor, status-travis
Approved by: nrc
Pushing 0b9f19d to master...

@bors bors merged commit 33efce1 into rust-lang:master Nov 21, 2018
@oli-obk oli-obk added the T-dev-tools Relevant to the dev-tools subteam, which will review and decide on the PR/issue. label Nov 22, 2018
@alexcrichton alexcrichton added beta-accepted Accepted for backporting to the compiler in the beta channel. and removed beta-nominated Nominated for backporting to the compiler in the beta channel. labels Nov 23, 2018
bors added a commit that referenced this pull request Nov 23, 2018
[beta] Rollup backports

* #56163: [master] Backport 1.30.1 release notes
* #56147: resolve: Fix some asserts in import validation
* #56118: Update books for Rust 2018
* #56117: resolve: Make "empty import canaries" invisible from other crates
* #56065: Replace the ICEing on const fn loops with an error
* #56143: Issue 56128 segment id ice nightly
* #56134: Fix clippy documentation links (first in #56156)

r? @ghost
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
beta-accepted Accepted for backporting to the compiler in the beta channel. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-dev-tools Relevant to the dev-tools subteam, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants