Merge #71

bors[bot] · codyps · bors[bot] · commit 0f149d4333cc · 2019-07-06T19:45:24.000Z
71: bors: delete merged branches &amp; cut PR comments r=jmesmon a=jmesmon



Co-authored-by: Cody P Schafer &lt;dev@codyps.com&gt;
diff --git a/bors.toml b/bors.toml
@@ -1 +1,3 @@
 status = ["continuous-integration/travis-ci/push"]
+cut_body_after = "---"
+delete_merged_branches = true

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