Merge PR #5714: tools: add mergify

2020-02-27 21:36:42 -08:00
parent 5a2e59ebb2
commit de0f1a9e40
1 changed files with 10 additions and 0 deletions
@@ -0,0 +1,10 @@
+pull_request_rules:
+  - name: automatic merge for master when CI passes, has 1 review and has the label automerge
+    conditions:
+      - "#approved-reviews-by>=1"
+      - "status-success=ci/circleci - Pull Request"
+      - base=master
+      - label=automerge
+    actions:
+      merge:
+        method: squash