diff --git a/repos/rust-lang/miri.toml b/repos/rust-lang/miri.toml new file mode 100644 index 000000000..99808c97d --- /dev/null +++ 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"