rustc-guide to rustc-dev-guide transition

[chrissimpkins]

The rustc-guide is being renamed to the rustc-dev-guide. The discussion thread for this decision is #470.

This thread is a record of the work in progress to make the transition.

• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/rustc-guide (Rename rustc-guide to rustc-dev-guide #601)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/rust (Rename rustc guide rust#69747)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/blog.rust-lang.org (Transition rustc-guide to rustc-dev-guide blog.rust-lang.org#535)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/const-eval (Update rustc-guide to rustc-dev-guide const-eval#37)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/compiler-team (Transition rustc-guide to rustc-dev-guide compiler-team#254)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/rust-forge (Update rustc-guide to rustc-dev-guide rust-forge#314)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/prev.rust-lang.org (not required)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/reference (Update rustc-guide to rustc-dev-guide reference#777)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/chalk (Update rustc-guide to rustc-dev-guide chalk#344)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/measureme(Update rustc-guide to rustc-dev-guide measureme#113)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/lang-team (Update rustc-guide to rustc-dev-guide lang-team#12)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/rust-clippy (Update rustc-guide to rustc-dev-guide rust-clippy#5277)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang-nursery/rust-lang-nursery.github.io ([Do not merge yet] Rename rustc-guide to rustc-dev-guide rust-lang-nursery/rust-lang-nursery.github.io#4)
• prepare a PR renaming rustc-guide to rustc-dev-guide on rust-lang/www.rust-lang.org (Rename rustc-guide to rustc-dev-guide www.rust-lang.org#1029)
• replicate the directory structure of rust-lang/rustc-guide to rustc-dev-guide in rust-lang/rustc-guide-redirect repo
• create DNS entry for rustc-dev-guide.rust-lang.org to point to rust-lang.github.io/rustc-dev-guide @Mark-Simulacrum
• add CNAME file to repo (Add a CNAME #606)
• update all the PRs to point links to rustc-dev-guide.rust-lang.org instead of rust-lang.github.io/rustc-dev-guide
• merge all renaming PRs (notices posted on repos, IN PROGRESS)
• rename repository rust-lang/rustc-guide to rust-lang/rustc-dev-guide
• rename repository rust-lang/rustc-guide-redirect to rust-lang/rustc-guide
• update travis CI configs as needed
• adjust the description and README in new rustc-guide repository to note that the repo has migrated to rustc-dev-guide
• update git submodule in rust-lang/rust (Move rustc-guide submodule to rustc-dev-guide rust#69898)
• address localizations of "rustc guide" / "Rustc Guide" on rust-lang/www.rust-lang.org (approach? PR Rename rustc-guide to rustc-dev-guide www.rust-lang.org#1029) (determined to be unnecessary)
• once everything is merged check if we lack more links in https://github.com/search?p=2&q=org%3Arust-lang+rust-lang.github.io%2Frustc-guide&type=Code
  • rust (awaiting merge)
  • rust-gha (does not require updates)
  • www.rust-lang.org (does not require updates)
  • previous.rust-lang.org (does not require updates)
• announce transition on Internals forum (@mark-i-m will do this)
• announce transition on Inside Rust Blog (PR ready: Rename rustc-guide -> rustc-dev-guide blog.rust-lang.org#537)

cc @rust-lang/wg-learning
This work is part of the Learning WG Mar/April 2020 sprint
Zulip thread

[JohnTitor]

I don't think we need a PR for rust-gha repo.