Merge #60

bors[bot] · ararslan · bors[bot] · commit ec400101e6f5 · 2019-02-01T14:53:45.000Z
60: Make bors delete merged branches r=omus a=ararslan

It probably can't delete merged branches from forks, like for example the branch this commit is from, but it will help for cleanup otherwise.

Co-authored-by: Alex Arslan &lt;ararslan@comcast.net&gt;
diff --git a/bors.toml b/bors.toml
@@ -1,3 +1,4 @@
 status = [
   "continuous-integration/travis-ci/push"
 ]
+delete-merged-branches = true

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
`1`	`1`	`status = [`
`2`	`2`	`"continuous-integration/travis-ci/push"`
`3`	`3`	`]`
	`4`	`+delete-merged-branches = true`