Merge pull request #1 from oli-obk/patch-5

Add bors to project-stable-mir
rust-lang · Sep 27, 2023 · a559444 · a559444
2 parents 62eccfe + 8b7ea43
commit a559444
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"