Error out if a PR is sent to the wrong channel#84997

bors merged 3 commits into

rust-lang:masterrust-lang/rust:masterfrom

emilyalbini:ci-verify-channelemilyalbini/rust:ci-verify-channelCopy head branch name to clipboard