From 92133053ee454f583c4f576b3cbdc364e4589d36 Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Tue, 29 Aug 2023 14:19:38 -0700 Subject: [PATCH] Add rustbot to project-stable-mir repository We have been using the issues in the repository to track the work distribution, and we would like to enable rustbot. We have already added a triagebot.toml file to the repository. Is there anything else that needs to be done? --- repos/rust-lang/project-stable-mir.toml | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 repos/rust-lang/project-stable-mir.toml diff --git a/repos/rust-lang/project-stable-mir.toml b/repos/rust-lang/project-stable-mir.toml new file mode 100644 index 000000000..d13c95f84 --- /dev/null +++ b/repos/rust-lang/project-stable-mir.toml @@ -0,0 +1,10 @@ +org = "rust-lang" +name = "project-stable-mir" +description = "Define compiler intermediate representation usable by external tools" +bots = ["rustbot"] + +[access.teams] +project-stable-mir = "write" + +[[branch-protections]] +pattern = "main"