Merge pull request #1086 from celinval/master

Add bors to project-stable-mir
rust-lang · Oct 2, 2023 · eb046b9 · eb046b9
2 parents 29d82aa + a559444
commit eb046b9
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"