From 8b7ea431998e6792546f8fc386f1f614bdd10a31 Mon Sep 17 00:00:00 2001 From: Oli Scherer Date: Wed, 27 Sep 2023 10:11:41 +0200 Subject: [PATCH] Add bors to project-stable-mir --- repos/rust-lang/project-stable-mir.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/rust-lang/project-stable-mir.toml b/repos/rust-lang/project-stable-mir.toml index d13c95f84..97dcdc6f7 100644 --- a/repos/rust-lang/project-stable-mir.toml +++ b/repos/rust-lang/project-stable-mir.toml @@ -1,7 +1,7 @@ org = "rust-lang" name = "project-stable-mir" description = "Define compiler intermediate representation usable by external tools" -bots = ["rustbot"] +bots = ["bors", "rustbot"] [access.teams] project-stable-mir = "write"