nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-27 01:04:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

add subtree-sync label to rustc update PRs

Browse Source
This commit is contained in:
Peter Jaszkowiak 2023-09-11 09:24:54 -06:00
parent f62be6d798
commit 04e3b2e5f6
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/tools/miri/miri-script/src/commands.rs
View File

@ -338,7 +338,11 @@ impl Command {
println!( println!(
"Confirmed that the push round-trips back to Miri properly. Please create a rustc PR:" "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); drop(josh);
Ok(()) Ok(())