Repository navigation
rustc-guide to rustc-dev-guide transition #602
Copy link
Copy link
Closed
Description
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(not required)rust-lang/prev.rust-lang.org - 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] Renamerustc-guidetorustc-dev-guiderust-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-guidetorustc-dev-guideinrust-lang/rustc-guide-redirectrepo - create DNS entry for
rustc-dev-guide.rust-lang.orgto point torust-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.orginstead ofrust-lang.github.io/rustc-dev-guide - merge all renaming PRs (notices posted on repos, IN PROGRESS)
- rename repository
rust-lang/rustc-guidetorust-lang/rustc-dev-guide - rename repository
rust-lang/rustc-guide-redirecttorust-lang/rustc-guide - update travis CI configs as needed
- adjust the description and README in new
rustc-guiderepository to note that the repo has migrated torustc-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(determined to be unnecessary)rust-lang/www.rust-lang.org(approach? PR Rename rustc-guide to rustc-dev-guide www.rust-lang.org#1029) - 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
Reactions are currently unavailable
Metadata
Metadata
Labels
No labels
Activity
transition rustc-guide to rustc-dev-guide
update rustc-guide to rustc-dev-guide
Transition rustc-guide to rustc-dev-guide
update rustc-guide to rustc-dev-guide
JohnTitor commentedon Mar 6, 2020
I don't think we need a PR for rust-gha repo.
transition rustc-guide to rustc-dev-guide
chrissimpkins commentedon Mar 6, 2020
Thanks @JohnTitor. I removed it from the list.
chrissimpkins commentedon Mar 6, 2020
All renaming PR's are in place with [Do not merge yet] titles except for
rust-lang/prev.rust-lang.orgwhere the repository README indicates that it has been deprecated since 2018 and there are no commits since 2018... I can push a PR there today if anyone feels that is a blocker. IMO we are ready for the repository rename.spastorino commentedon Mar 6, 2020
why do you say so?. I found in the README a link to rustc guide which I guess should be updated? or is the information from there automatically updated from elsewhere?.
chrissimpkins commentedon Mar 6, 2020
Added https://github.com/rust-lang-nursery/rust-lang-nursery.github.io to the rename PR list
JohnTitor commentedon Mar 6, 2020
The repository is only for testing GitHub Actions and I think it's unlikely that anyone will refer to it.
chrissimpkins commentedon Mar 6, 2020
Added #470 (comment) to the TODO list (update redirects from
rustc-guidetorustc-dev-guide. We need to locate who can do this.mark-i-m commentedon Mar 6, 2020
Perhaps @Mark-Simulacrum can guide us in how to set up a GH Pages site for this?
10 remaining items
chrissimpkins commentedon Mar 10, 2020
https://rustc-dev-guide.rust-lang.org/ is showing 404 pages today
cc @RalfJung re: rust-lang/const-eval#39 (comment)
JohnTitor commentedon Mar 10, 2020
@chrissimpkins Oops, it's my fault. I'll fix it shortly.
JohnTitor commentedon Mar 10, 2020
Because travis doesn't have config for CNAME, they won't add it when deploying.
chrissimpkins commentedon Mar 10, 2020
How do you fix/work around the issue?
JohnTitor commentedon Mar 10, 2020
Opened #608, should fix the issue.
chrissimpkins commentedon Mar 10, 2020
@JohnTitor verified that https://rustc-dev-guide.rust-lang.org/ is fixed 👍
Update rustc-guide to rustc-dev-guide (#344)
Transition rustc-guide to rustc-dev-guide (#535)
chrissimpkins commentedon Mar 10, 2020
We've moved! :)
chrissimpkins commentedon Mar 10, 2020
Added new TODO item to address localizations of the www.rust-lang.org website. Some of the translations are based on the "rustc guide" / "Rustc Guide" name. See: rust-lang/www.rust-lang.org#1029 (comment)
chrissimpkins commentedon Mar 11, 2020
This was not necessary. Marked as finished
spastorino commentedon Mar 12, 2020
Marking
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=Codeas done since right now it's only rust-gha and prev.rust-lang.org which we decided to not update.chrissimpkins commentedon Mar 22, 2020
Still waiting on rust-lang/rust#69898 to close this.
Transition rustc-guide to rustc-dev-guide (#535)