diff --git a/.github/bors.toml b/.github/bors.toml deleted file mode 100644 index d658d56e8a..0000000000 --- a/.github/bors.toml +++ /dev/null @@ -1,3 +0,0 @@ -use_squash_merge = true -cut_body_after = "_ _ _" -status = ["Lint commit message", "Check Rust formatting", "Clippy correctness checks (%)", "Build Docs", "Miri tests"]