From 00f8b477a60deaeb25855b409cf9dc0daaf0de96 Mon Sep 17 00:00:00 2001 From: Pacman99 Date: Fri, 14 May 2021 22:49:39 -0700 Subject: [PATCH] bors.toml: don't delete merged branches This caused develop to be deleted. And if most people send PR's from forks of devos, this line doesn't really help much. --- bors.toml | 2 -- 1 file changed, 2 deletions(-) diff --git a/bors.toml b/bors.toml index 72690c0..6703d41 100644 --- a/bors.toml +++ b/bors.toml @@ -3,5 +3,3 @@ status = [ "check" ] required_approvals = 1 up_to_date_approvals = true - -delete_merged_branches = true