From 6b97b845fd84a95cebc2498b454d267d1f4b9485 Mon Sep 17 00:00:00 2001 From: Zicklag Date: Tue, 22 Aug 2023 17:46:28 -0500 Subject: [PATCH] ci: remove old bors.toml file. --- .github/bors.toml | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 .github/bors.toml 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"]