Create a-mir-formality.toml

Is this all I need? Will this enable bors?
rust-lang · Nov 4, 2023 · 9367907 · 9367907
1 parent b347bce
commit 9367907
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/repos/rust-lang/a-mir-formality.toml b/repos/rust-lang/a-mir-formality.toml
@@ -0,0 +1,13 @@
+org = "rust-lang"
+name = "a-mir-formality"
+description = "a model of MIR and the Rust type/trait system"
+bots = ["rustbot", "rfcbot", "bors"]
+
+[access.teams]
+lang = "maintain"
+lang-ops = "maintain"
+lang-docs = "maintain"
+types = "maintain"
+release = "maintain"
+infra = "maintain"
+infra-bors = "write"