Browse Source

Merge pull request #134 from rust-embedded/remove-bors

Remove bors
Román Cárdenas 1 year ago
parent
commit
ba5c811a11
1 changed files with 0 additions and 8 deletions
  1. 0 8
      .github/bors.toml

+ 0 - 8
.github/bors.toml

@@ -1,8 +0,0 @@
-block_labels = ["needs-decision"]
-delete_merged_branches = true
-required_approvals = 1
-status = [
-    "build-check",
-    "clippy-check",
-    "rustfmt",
-]