rust-lang / rust-forge

Information useful to people contributing to Rust

Home Page:https://forge.rust-lang.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Website does not reflect files removed from the repo

nrc opened this issue · comments

E.g., https://forge.rust-lang.org/ides.html works, but ides.md was removed last year.

Just an update on this, six months later: the link to ides.html doesn't work anymore, so the website has probably been updated and this issue can be closed...? The problem with this particular link is that the FAQ still points to it -- it should probably be removed or updated (if there's a replacement).

The page is not present anymore on forge.rust-lang.org, closing the issue.

The problem with this particular link is that the FAQ still points to it -- it should probably be removed or updated (if there's a replacement).

That link should not be present anymore on the new website, which will be launched soon(tm).