Merge pull request #1060 from celinval/master

Add rustbot to project-stable-mir repository
rust-lang · Aug 31, 2023 · 7279d5f · 7279d5f
2 parents a561c73 + 9213305
commit 7279d5f
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/repos/rust-lang/project-stable-mir.toml 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"