diff --git a/README.md b/README.md index 8b9b0a45d7..6900d1eafc 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,6 @@
diff --git a/bors.toml b/bors.toml deleted file mode 100644 index 1b2d7a314e..0000000000 --- a/bors.toml +++ /dev/null @@ -1,21 +0,0 @@ -# List of commit statuses that must pass on the merge commit before it is pushed to master. -status = [ - # Cargo fmt check must pass - "Check Style", - - # Cargo clippy check must pass - "Clippy", - - # Cargo test check must pass - "Test (stable)", - "Test (nightly)" -] - -# Number of project members who must approve the PR (using GitHub Reviews) before it is pushed to master. -required_approvals = 1 - -# Approvals up to date with the latest PR commit will count towards the number of required approvals. -up_to_date_approvals = true - -# List of PR labels that may not be attached to a PR when it is r+-ed. -# block_labels = [ "wip" ]