Merge #43

43: Configure Bors to delete branches after merge r=michaelbaudino a=michaelbaudino Co-authored-by: Michael Baudino <michael.baudino@alpine-lab.com>
alpinelab · Oct 2, 2018 · 2413c1e · 2413c1e
2 parents d76abea + a587e6d
commit 2413c1e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/bors.toml b/bors.toml
@@ -1,2 +1,3 @@
 status = ["continuous-integration/codeship"]
 timeout_sec = 3600
+delete_merged_branches = true