From 48aaf502f133737a7aa521f9723d2463ac0901cf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= Date: Tue, 22 Oct 2024 15:36:35 +0200 Subject: [PATCH] Switch crater from bors to merge-queue --- repos/rust-lang/crater.toml | 4 ++-- teams/infra.toml | 1 - 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/repos/rust-lang/crater.toml b/repos/rust-lang/crater.toml index 2ef926adf..f94b31587 100644 --- a/repos/rust-lang/crater.toml +++ b/repos/rust-lang/crater.toml @@ -2,11 +2,11 @@ org = "rust-lang" name = "crater" description = "Run experiments across parts of the Rust ecosystem!" homepage = "https://crater.rust-lang.org" -bots = ["bors", "highfive"] +bots = ["highfive"] [access.teams] infra = "write" [[branch-protections]] pattern = "master" -ci-checks = ["homu"] +ci-checks = ["conclusion"] diff --git a/teams/infra.toml b/teams/infra.toml index e7a7ce1b7..9d8c7c191 100644 --- a/teams/infra.toml +++ b/teams/infra.toml @@ -41,7 +41,6 @@ perf = true crater = true dev-desktop = true bors.rust.review = true -bors.crater.review = true bors.bors-kindergarten.review = true [rfcbot]