Update nav for redirected MR pipelines pages (!2401) · Merge requests · GitLab.org / GitLab Docs DEPRECATED · GitLab

Resolves gitlab#351192 (closed)

Last step of the linked issue, to be merged after the redirect is merged.