push: base new branch on latest upstream main#47

RalfJung wants to merge 1 commit into

rust-lang:mainrust-lang/josh-sync:mainfrom

RalfJung:push-on-latestRalfJung/josh-sync:push-on-latestCopy head branch name to clipboard