From 9367907614971dcb043a182cdc6ed6dcb0d628c9 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Sat, 4 Nov 2023 17:53:11 -0400 Subject: [PATCH] Create a-mir-formality.toml Is this all I need? Will this enable bors? --- repos/rust-lang/a-mir-formality.toml | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 repos/rust-lang/a-mir-formality.toml diff --git a/repos/rust-lang/a-mir-formality.toml b/repos/rust-lang/a-mir-formality.toml new file mode 100644 index 000000000..e20875ab1 --- /dev/null +++ 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"