mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2220 from rust-lang/revert-2217-bors-rollup-never

This commit is contained in:
许杰友 Jieyou Xu (Joe) 2025-01-24 22:22:29 +08:00 committed by GitHub
parent 8ebc7c0b32 d56358082c
commit f8829d107d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
josh-sync/src/sync.rs
View File

@ -180,7 +180,7 @@ impl GitSync {
); );
println!( println!(
// Open PR with `subtree update` title to silence the `no-merges` triagebot check // Open PR with `subtree update` title to silence the `no-merges` triagebot check
" https://github.com/{UPSTREAM_REPO}/compare/{github_user}:{branch}?quick_pull=1&title=Rustc+dev+guide+subtree+update&body=@bors+rollup=never%0Ar?+@ghost" " https://github.com/{UPSTREAM_REPO}/compare/{github_user}:{branch}?quick_pull=1&title=Rustc+dev+guide+subtree+update&body=r?+@ghost"
); );
drop(josh); drop(josh);