diff --git a/bors.toml b/bors.toml deleted file mode 100644 index a3cafd745..000000000 --- a/bors.toml +++ /dev/null @@ -1,8 +0,0 @@ -status = [ - 'docs-build', - 'test_success', - 'format', -] -delete_merged_branches = true -timeout_sec = 7200 -block_labels = [ "do-not-merge-yet" ]