rust/doc
bors baf5f2da8b Auto merge of #6401 - ebroto:pin_to_a_nightly, r=ebroto
📌 Pin Clippy to a nightly 📌

changelog: Pin Clippy to a specific nightly version (No more master/custom toolchain required to compile Clippy)

Addresses partially #5561. As proposed there in [this comment](https://github.com/rust-lang/rust-clippy/issues/5561#issuecomment-623109095), this kicks off the process, to help us get acquainted with how the syncs should work, before working on improving the tooling.

Open questions:
* When performing a rustup, we will need to exclude the commits that were merged that same day, or else wait until that nightly is released. I did not update the documentation about this part, mainly because I'm not sure about how to do that.
* When should we perform the rustups now? My first idea is to do it at the same time we do the clippyups, to have a clear cadence and to avoid the two copies of the repo to diverge enough to make the process painful.
* Who does the rustups now? If we follow my previous idea and do both rustup and clippyup at the same time, it would be more work for `@flip1995` who currently does the clippyups. I would prefer to establish some kind of rotation to spead the work. Other ideas?
* I'm not sure if this affects the release process in any way.
* ???

`@rust-lang/clippy` thoughts?

r? `@flip1995`
2020-12-11 16:25:13 +00:00
..
adding_lints.md add instructions to include msrv in lints 2020-12-11 11:00:25 +05:30
backport.md Update backport documentation to the subtree workflow 2020-10-09 14:16:59 +02:00
basics.md Pin Clippy to a nightly 2020-12-10 09:57:29 +01:00
changelog_update.md Improve changlog update documentation 2020-11-19 11:23:59 +01:00
common_tools_writing_lints.md fixup! Rename tables to typecheck_result() 2020-10-07 17:10:31 +02:00
release.md Update release documentation 2020-10-09 09:40:57 +02:00