Created by: bobheadxi
Fixes a broken link
https://github.com/sourcegraph/sourcegraph/pull/25808 went green -> https://github.com/sourcegraph/sourcegraph/pull/25829 was merged -> #25808 was merged -> red build
Push commits to the source branch or add previously merged commits to review them.
