Repository navigation

Link to sourcegraph - #1947

Closed

jsha wants to merge 2 commits into

rust-lang:mainfrom

jsha:link-to-sourcegraph

Closed

Link to sourcegraph#1947
jsha wants to merge 2 commits into
rust-lang:mainfrom
jsha:link-to-sourcegraph

Commits on Dec 5, 2022
- Link to Sourcegraph for crate_details "Source" tab
  jsha
  committed
  ace3e77
- Redirect old source page URLs to sourcegraph
  jsha
  committed
  78823d5