Remove unnecessary teams

We can re-add these if they become necessary.
rust-lang · Nov 10, 2023 · b4ceefa · b4ceefa
1 parent 6670bad
commit b4ceefa
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/repos/rust-lang/a-mir-formality.toml b/repos/rust-lang/a-mir-formality.toml
@@ -8,6 +8,3 @@ lang = "maintain"
 lang-ops = "maintain"
 lang-docs = "maintain"
 types = "maintain"
-release = "maintain"
-infra = "maintain"
-infra-bors = "write"