Merge #660

660: Revert "bors: set delete_merged_branches = true" r=taiki-e a=taiki-e This reverts commit c9f2445. If GitHub's "Automatically delete head branches" setting is enabled, "delete_merged_branches = true" setting is actually not needed. Co-authored-by: Taiki Endo <te316e89@gmail.com>
crossbeam-rs · Feb 13, 2021 · f396046 · f396046
2 parents 4a21fc3 + d57bf2d
commit f396046
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/bors.toml b/.github/bors.toml
@@ -1,2 +1 @@
-delete_merged_branches = true
 status = ["ci"]