Auto merge of rust-lang#3070 - RalfJung:no-no-merges, r=RalfJung

disable no-merges check for now It leads to false warnings on sync PRs until rust-lang/triagebot#1720 lands.
RalfJung · Sep 21, 2023 · 70f3d3e · 70f3d3e
2 parents 5910517 + a11b1d8
commit 70f3d3e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml
@@ -10,5 +10,6 @@ allow-unauthenticated = [
 # Gives us the commands 'ready', 'author', 'blocked'
 [shortcut]
 
-[no-merges]
-exclude_titles = ["Rollup of", "sync from rustc"]
+# disabled until https://github.com/rust-lang/triagebot/pull/1720 lands
+#[no-merges]
+#exclude_titles = ["Rollup of", "sync from rustc"]