diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/bors.toml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.github/bors.toml b/.github/bors.toml deleted file mode 100644 index 1ecc9d8de..000000000 --- a/.github/bors.toml +++ /dev/null | |||
| @@ -1,4 +0,0 @@ | |||
| 1 | status = [ | ||
| 2 | "all", | ||
| 3 | ] | ||
| 4 | delete_merged_branches = true | ||
