Migrate rustc-pull to CI workflow from `josh-sync`#2502

jieyouxu merged 1 commit intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

Kobzol:rustc-josh-sync-ciKobzol/rustc-dev-guide:rustc-josh-sync-ciCopy head branch name to clipboard