diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-09-01 00:21:01 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-09-01 00:21:01 +0200 |
| commit | b74645e25960c6d4160b5a150d2e6bf239cef9c8 (patch) | |
| tree | 0a02dba586f894e3a24751223f77249340ea1fa7 /.github | |
| parent | 56351cedcbb9bef5a8796c6d330a206709b4ba02 (diff) | |
Delete .github/bors.toml
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 | ||