Merge pull request #118 from 2m/mergify/2m/config-update

Mergify: configuration update
2m · May 31, 2020 · 6a97d11 · 6a97d11
2 parents c437257 + b93b23d
commit 6a97d11
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: {}