doc: add redirects for code intel hover links (!15006) · Merge requests · Warren Gifford / sourcegraph

Warren Gifford requested to merge aharvey/code-intel-doc-redirects into main Oct 22, 2020

Created by: LawnGnome

I noticed that some of the hover links created by code-intel-extensions point to documentation files that no longer exist. I've opened https://github.com/sourcegraph/code-intel-extensions/pull/508 to fix this at the source, but we should also add the redirects to make things work ASAP.

doc: add redirects for code intel hover links

Merge request reports