diff --git a/repos/rust-lang/a-mir-formality.toml b/repos/rust-lang/a-mir-formality.toml new file mode 100644 index 000000000..ba5c86100 --- /dev/null +++ b/repos/rust-lang/a-mir-formality.toml @@ -0,0 +1,10 @@ +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"