Merge pull request #1582 from Kobzol/chalk-remove-bors

Remove bors from chalk
rust-lang · Oct 22, 2024 · bd8c29e · bd8c29e
2 parents 2988a65 + 1644c65
commit bd8c29e
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/repos/rust-lang/chalk.toml b/repos/rust-lang/chalk.toml
@@ -2,7 +2,11 @@ org = "rust-lang"
 name = "chalk"
 description = "An implementation and definition of the Rust trait system using a PROLOG-like logic solver"
 homepage = "https://rust-lang.github.io/chalk/book/"
-bots = ["rustbot", "bors"]
+bots = ["rustbot"]
 
 [access.teams]
 types = "write"
+
+[[branch-protections]]
+pattern = "master"
+ci-checks = ["conclusion"]