automate git subtree-push pull requests#6032

ytmimi wants to merge 1 commit into

rust-lang:mainrust-lang/rustfmt:mainfrom

ytmimi:subtree_push_automationytmimi/rustfmt:subtree_push_automationCopy head branch name to clipboard