diff options
Diffstat (limited to 'src/doc/embedded-book/.github/bors.toml')
-rw-r--r-- | src/doc/embedded-book/.github/bors.toml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/doc/embedded-book/.github/bors.toml b/src/doc/embedded-book/.github/bors.toml deleted file mode 100644 index c3cfa378d..000000000 --- a/src/doc/embedded-book/.github/bors.toml +++ /dev/null @@ -1,4 +0,0 @@ -block_labels = ["needs-decision"] -delete_merged_branches = true -required_approvals = 1 -status = ["build"] |