Remove unnecessary teams

We can re-add these if they become necessary.
nikomatsakis · Nov 10, 2023 · fd15d9d · fd15d9d
1 parent 9367907
commit fd15d9d
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"