Auto merge of #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.

Author: bors

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"]