From 60f9c9575a01741b0cdc72cb934cdbe9afd202a2 Mon Sep 17 00:00:00 2001 From: Sridhar Ratnakumar <3998+srid@users.noreply.github.com> Date: Sun, 19 Nov 2023 10:47:55 -0500 Subject: [PATCH] Delete bors.toml --- bors.toml | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 bors.toml diff --git a/bors.toml b/bors.toml deleted file mode 100644 index 812ce7b68..000000000 --- a/bors.toml +++ /dev/null @@ -1,3 +0,0 @@ -status = ["continuous-integration/jenkins/branch"] -delete_merged_branches = true -use_squash_merge = true