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

fmease · Jan 21, 2025 · 0974081 · 0974081
2 parents a3f061c + 5be02d6
commit 0974081
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/doc/rustc-dev-guide/josh-sync/src/sync.rs b/src/doc/rustc-dev-guide/josh-sync/src/sync.rs
@@ -180,7 +180,7 @@ impl GitSync {
         );
         println!(
             // 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=r?+@ghost"
+            "    https://github.com/{UPSTREAM_REPO}/compare/{github_user}:{branch}?quick_pull=1&title=Rustc+dev+guide+subtree+update&body=@bors+rollup=never%0Ar?+@ghost"
         );
 
         drop(josh);