Merge pull request #863 from rylev/remove-bots-from-team

The team repo actually doesn't use any bots
rust-lang · Oct 10, 2022 · c4b93a1 · c4b93a1
2 parents bcbce38 + efe098a
commit c4b93a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/repos/rust-lang/team.toml b/repos/rust-lang/team.toml
@@ -1,7 +1,7 @@
 org = "rust-lang"
 name = "team"
 description = "Rust teams structure"
-bots = ["bors", "highfive", "rustbot", "rust-timer"]
+bots = []
 
 [access.teams]
 core = "admin"