Merge #40

40: Add bors check for W.I.P and auto-delete merged branches r=samueldple a=samueldple Co-authored-by: samueldple <samueldple@gmail.com>
notquiteamonad · Aug 11, 2019 · 08779da · 08779da
2 parents e05d7e2 + d3e3e60
commit 08779da
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bors.toml b/bors.toml
@@ -1,2 +1,3 @@
 status = ["continuous-integration/travis-ci/push"]
-pr-status = ["License Compliance"]
+pr-status = ["License Compliance", "WIP"]
+delete-merged-branches = true