Merge pull request #1588 from Kobzol/crater-remove-bors

Switch crater from bors to merge-queue
rust-lang · Oct 29, 2024 · 3a23bce · 3a23bce
2 parents 30e1944 + 48aaf50
commit 3a23bce
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git 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
@@ -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]