Merge pull request tweag#116 from tweag/mergify

Configure mergify

.github/settings.yml

@@ -33,3 +33,6 @@ labels:
     color: 0052cc
   - name: "wontfix"
     color: ffffff
+  - name: "merge-queue"
+    color: 0e8a16
+    description: "merge on green CI"

.mergify.yml

@@ -0,0 +1,28 @@
+pull_request_rules:
+  - name: automatic merge
+    conditions:
+      - "status-success~=buildkite/rules-nixpkgs(|/pr)"
+      - "#approved-reviews-by>=1"
+      - "label=merge-queue"
+      - "base=master"
+    actions:
+      merge:
+        method: merge
+        strict: smart
+        strict_method: rebase
+
+  - name: delete head branch after merge
+    conditions:
+      - merged
+      - closed
+    actions:
+      delete_head_branch: {}
+
+  - name: remove from merge-queue after merge
+    conditions:
+      - merged
+    actions:
+      label:
+        remove:
+          - "merge-queue"
+