bad/devos
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Wiki Activity

bors.toml: don't delete merged branches

Browse source 
This caused develop to be deleted. And if most people send PR's from
forks of devos, this line doesn't really help much.
This commit is contained in:
Pacman99 2021-05-14 22:49:39 -07:00
parent 634cfcb301
commit 00f8b477a6
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
bors.toml
View file

@ -3,5 +3,3 @@ status = [ "check" ]
required_approvals = 1 required_approvals = 1
up_to_date_approvals = true up_to_date_approvals = true
delete_merged_branches = true