Merge pull request #1583 from Kobzol/miri-remove-bors

Remove bors from miri

Author: marcoieni

repos/rust-lang/miri.toml

@@ -1,11 +1,12 @@
 org = "rust-lang"
 name = "miri"
 description = "An interpreter for Rust's mid-level intermediate representation"
-bots = ["rustbot", "bors"]
+bots = ["rustbot"]
 
 [access.teams]
 compiler = "write"
 miri = "write"
 
 [[branch-protections]]
 pattern = "master"
+ci-checks = ["conclusion"]