Remove unnecessary teams

We can re-add these if they become necessary.

Author: Mark-Simulacrum

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"