ci: added high priority queue (#18)

Adds a new high priority queue to mergify

Based on: Agoric/agoric-sdk#9802

.mergify.yml

@@ -1,5 +1,23 @@
 # Linear queue for the main branch.
 queue_rules:
+  - name: high_priority_main
+    commit_message_template: |-
+      {{ title }} (#{{ number }})
+
+      {{ body | trim }}
+    queue_conditions:
+      - base=main
+      - label=priority:high
+      - or:
+          - check-pending=integration-test-result
+          - check-success=integration-test-result
+          - label=bypass:integration
+    merge_conditions:
+      - base=main
+      # Require integration tests before merging only
+      - or:
+          - label=bypass:integration
+          - check-success=integration-test-result
   - name: main
     commit_message_template: |-
       {{ title }} (#{{ number }})
@@ -28,15 +46,13 @@ pull_request_rules:
           - label=bypass:linear-history
     actions:
       queue:
-        name: main
         merge_method: merge
   - name: rebase updates then merge to main
     conditions:
       - base=main
       - label=automerge:rebase
     actions:
       queue:
-        name: main
         merge_method: merge
         update_method: rebase
   - name: squash to main
@@ -45,5 +61,4 @@ pull_request_rules:
       - label=automerge:squash
     actions:
       queue:
-        name: main
         merge_method: squash