From a11b1d8b26f99b256b9e14cf540d8c457d6c83fe Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Thu, 21 Sep 2023 07:49:38 +0200 Subject: [PATCH] disable no-merges check for now --- src/tools/miri/triagebot.toml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml index 8d00cedb769..1c520a9c779 100644 --- 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"]