Closed chrissimpkins closed 4 years ago
Oh my you want to break all those links?^^
Sure, thanks for the heads-up.
Oh lol I missed the "do not merge yet" part oops sorry... Probably not too bad though, we'd have broken links for a transition period anyway I guess.
Sorry Ralf!
@spastorino I believe that we have all of the necessary name update PR's in place to make the transition. The only one that is missing at this stage is rust-lang/prev.rust-lang.org
. There is a bold deprecation notice on that repo and I don't see any commits in master since 2018. I can add a PR today if that is blocking the next step in the transition. I am working under the assumption that it does not.
I think we are going to need to update these links again
The
rustc-guide
is being renamed to therustc-dev-guide
. The discussion is in rust-lang/rustc-guide#470.This PR revises
rustc-guide
torustc-dev-guide
in the READMETransition tracker: https://github.com/rust-lang/rustc-guide/issues/602