Merge pull request #86 from tweag/mergify/configuration-deprecated-update

ci(mergify): upgrade configuration to current format

Author: mergify[bot]

.github/mergify.yml

@@ -1,31 +1,29 @@
 queue_rules:
   - name: default
-    conditions:
-      - 'status-success~=Build & Test - Nixpkgs.*'
-
-pull_request_rules:
-  - name: automatic merge
-    conditions:
+    queue_conditions:
       - 'status-success~=Build & Test - Nixpkgs.*'
       - "#approved-reviews-by>=1"
       - "label=merge-queue"
       - "base=main"
-    actions:
-      queue:
-        name: default
-        method: merge
+    merge_conditions:
+      - 'status-success~=Build & Test - Nixpkgs.*'
+    merge_method: merge
 
+pull_request_rules:
   - 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"
+  - name: automatic merge
+    conditions: []
+    actions:
+      queue: