Mergify: configuration update

2m · May 31, 2020 · b93b23d · b93b23d
1 parent c437257
commit b93b23d
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.mergify.yml b/.mergify.yml
@@ -0,0 +1,14 @@
+pull_request_rules:
+  - name: Merge PRs from Scala Steward that pass validation
+    conditions:
+      - status-success=Travis CI - Pull Request
+      - author=scala-steward
+    actions:
+      merge:
+        method: merge
+
+  - name: Delete the PR branch after merge
+    conditions:
+      - merged
+    actions:
+      delete_head_branch: {}