Auto merge of rust-lang#3057 - pitaj:master, r=RalfJung

add subtree-sync label to rustc update PRs For rust-lang#114157
RalfJung · Sep 11, 2023 · 864c3f3 · 864c3f3
2 parents f62be6d + 04e3b2e
commit 864c3f3
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/tools/miri/miri-script/src/commands.rs b/src/tools/miri/miri-script/src/commands.rs
@@ -338,7 +338,11 @@ impl Command {
         println!(
             "Confirmed that the push round-trips back to Miri properly. Please create a rustc PR:"
         );
-        println!("    https://github.com/{github_user}/rust/pull/new/{branch}");
+        println!(
+            // Open PR with `subtree-sync` label to satisfy 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&labels=subtree-sync"
+        );
 
         drop(josh);
         Ok(())