Add bors integration.

gendx · Dec 10, 2019 · 4d46835 · 4d46835
1 parent 167884e
commit 4d46835
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/bors.toml b/bors.toml
@@ -0,0 +1,9 @@
+# List of commit statuses that must pass on the merge commit before it is
+# pushed to master.
+status = [
+  "continuous-integration/travis-ci/push",
+]
+
+# If set to true, and if the PR branch is on the same repository that bors-ng
+# itself is on, the branch will be deleted.
+delete_merged_branches = true