Something went wrong on our end. Please try again.
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