Merge pull request #111 from garlick/mergify

add mergify support

.github/workflows/main.yml

@@ -9,7 +9,7 @@ jobs:
     strategy:
       matrix:
         cc: [gcc, clang]
-        os: [ubuntu-latest, ubuntu-18.04]
+        os: [ubuntu-latest]
 
     steps:
     - uses: actions/checkout@v2

.mergify.yml

@@ -0,0 +1,26 @@
+queue_rules:
+  - name: default
+    queue_conditions:
+      - base=master
+      - label="merge-when-passing"
+      - label!="work-in-progress"
+      - -title~=^\[*[Ww][Ii][Pp]
+      - "approved-reviews-by=@chaos/diod-admins"
+      - "#approved-reviews-by>0"
+      - "#changes-requested-reviews-by=0"
+    merge_conditions:
+      - base=master
+      - label="merge-when-passing"
+      - label!="work-in-progress"
+      - "approved-reviews-by=@chaos/diod-admins"
+      - "#approved-reviews-by>0"
+      - "#changes-requested-reviews-by=0"
+      - -title~=^\[*[Ww][Ii][Pp]
+    update_method: rebase
+    merge_method: merge
+
+pull_request_rules:
+  - name: rebase and merge when passing all checks
+    conditions: []
+    actions:
+      queue: