Add miri repository under automation (#1209)

rust-lang · Jan 15, 2024 · ec0048b · ec0048b
1 parent 0d0f64d
commit ec0048b
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/repos/rust-lang/miri.toml b/repos/rust-lang/miri.toml
@@ -0,0 +1,11 @@
+org = "rust-lang"
+name = "miri"
+description = "An interpreter for Rust's mid-level intermediate representation"
+bots = ["rustbot", "bors"]
+
+[access.teams]
+compiler = "write"
+miri = "write"
+
+[[branch-protections]]
+pattern = "master"