Auto merge of rust-lang#12694 - hi-rustin:rustin-patch-bors, r=jonas-…

…schievink Remove useless bors.toml It seems we do not use bors-ng anymore. So maybe this is useless.
rust-lang-ci · Jul 5, 2022 · fee5555 · fee5555
2 parents 6edf624 + 0d9737a
commit fee5555
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 10 deletions.
diff --git a/bors.toml b/bors.toml
diff --git a/crates/sourcegen/src/lib.rs b/crates/sourcegen/src/lib.rs
@@ -196,6 +196,6 @@ fn normalize_newlines(s: &str) -> String {
 pub fn project_root() -> PathBuf {
     let dir = env!("CARGO_MANIFEST_DIR");
     let res = PathBuf::from(dir).parent().unwrap().parent().unwrap().to_owned();
-    assert!(res.join("bors.toml").exists());
+    assert!(res.join("triagebot.toml").exists());
     res
 }