Tell bors to delete merged branches
This commit is contained in:
parent
db8050b388
commit
d137d1f707
1 changed files with 1 additions and 0 deletions
1
.github/bors.toml
vendored
1
.github/bors.toml
vendored
|
@ -1,3 +1,4 @@
|
||||||
status = [
|
status = [
|
||||||
"all",
|
"all",
|
||||||
]
|
]
|
||||||
|
delete_merged_branches = true
|
||||||
|
|
Loading…
Reference in a new issue