Have bors auto-delete branches when they're merged.

awooos · Sep 9, 2020 · c9c05fd · c9c05fd
1 parent 1f2ce52
commit c9c05fd
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/bors.toml b/bors.toml
@@ -2,3 +2,5 @@ status = [
   "Lint",
   "Test",
 ]
+
+delete_merged_branches = true