disable no-merges check for now

RalfJung · Sep 21, 2023 · a11b1d8 · a11b1d8
1 parent 5910517
commit a11b1d8
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"]