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