Auto merge of rust-lang#3230 - RalfJung:rustc-push, r=RalfJung

rustc-push: automatically fill PR body to avoid reviewer assignment
RalfJung · Dec 17, 2023 · 1dae084 · 1dae084
2 parents 00a82a5 + c54312d
commit 1dae084
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tools/miri/miri-script/src/commands.rs b/src/tools/miri/miri-script/src/commands.rs
@@ -344,7 +344,7 @@ impl Command {
         println!(
             // Open PR with `subtree update` title to silence the `no-merges` triagebot check
             // See https://github.com/rust-lang/rust/pull/114157
-            "    https://github.com/rust-lang/rust/compare/{github_user}:{branch}?quick_pull=1&title=Miri+subtree+update"
+            "    https://github.com/rust-lang/rust/compare/{github_user}:{branch}?quick_pull=1&title=Miri+subtree+update&body=r?+@ghost"
         );
 
         drop(josh);