Merge pull request #1592 from Kobzol/clippy-remove-bors

Switch clippy from bors to merge queue
rust-lang · Nov 7, 2024 · 28c24b2 · 28c24b2
2 parents e172b40 + 28d2a82
commit 28c24b2
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/repos/rust-lang/rust-clippy.toml b/repos/rust-lang/rust-clippy.toml
@@ -2,11 +2,17 @@ org = "rust-lang"
 name = "rust-clippy"
 description = "A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/"
 homepage = "https://rust-lang.github.io/rust-clippy/"
-bots = ["bors", "rustbot"]
+bots = ["rustbot"]
 
 [access.teams]
 clippy = "write"
 clippy-contributors = "triage"
 
 [[branch-protections]]
 pattern = "master"
+ci-checks = [
+    "conclusion",
+    "conclusion_dev",
+    "conclusion_remark",
+]
+required-approvals = 0
diff --git a/teams/clippy.toml b/teams/clippy.toml
@@ -30,7 +30,6 @@ alumni = [
 
 [permissions]
 perf = true
-bors.clippy.review = true
 bors.rust.review = true
 dev-desktop = true