Skip to content

Commit 81b24a5

Browse files
committed
add subtree-sync label to rustc update PRs
1 parent f9ce2d0 commit 81b24a5

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

miri-script/src/commands.rs

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -338,7 +338,11 @@ impl Command {
338338
println!(
339339
"Confirmed that the push round-trips back to Miri properly. Please create a rustc PR:"
340340
);
341-
println!(" https://github.com/{github_user}/rust/pull/new/{branch}");
341+
// Open PR with `subtree-sync` label to satisfy the `no-merges` triagebot check
342+
// See https://github.com/rust-lang/rust/pull/114157
343+
println!(
344+
" https://github.com/rust-lang/rust/compare/{github_user}:{branch}?quick_pull=1&labels=subtree-sync"
345+
);
342346

343347
drop(josh);
344348
Ok(())

0 commit comments

Comments
 (0)