Fix github fast path redirect.#13718

bors merged 1 commit into

rust-lang:masterrust-lang/cargo:masterfrom

ehuss:github-fast-path-redirectehuss/cargo:github-fast-path-redirectCopy head branch name to clipboard