Mergify: configuration update

Author: jneira

.mergify.yml

@@ -0,0 +1,43 @@
+pull_request_rules:
+- actions:
+    merge:
+      strict: smart
+      method: merge
+  name: Automatically merge pull requests
+  conditions:
+  - status-success=bench (8.10.2, ubuntu-latest)
+  - status-success=bench (8.6.5, ubuntu-latest)
+  - status-success=bench (8.8.4, ubuntu-latest)
+  - status-success=nix (default, macOS-latest)
+  - status-success=nix (default, ubuntu-latest)
+  - status-success=test (8.10.3, ubuntu-latest)
+  - status-success=test (8.10.3, windows-latest)
+  - status-success=test (8.10.2, ubuntu-latest)
+  - status-success=test (8.10.1, ubuntu-latest)
+  - status-success=test (8.10.1, windows-latest)
+  - status-success=test (8.8.4, ubuntu-latest)
+  - status-success=test (8.8.3, ubuntu-latest)
+  - status-success=test (8.8.2, ubuntu-latest) 
+  - status-success=test (8.6.5, ubuntu-latest)
+  - status-success=test (8.6.5, windows-latest)
+  - status-success=test (8.6.4, ubuntu-latest)
+  - status-success=test (windows-latest, 8.10.2.2)
+
+  - 'status-success=ci/circleci: cabal'
+  - 'status-success=ci/circleci: ghc-8.10.1'
+  - 'status-success=ci/circleci: ghc-8.10.3'
+  - 'status-success=ci/circleci: ghc-8.6.4'
+  - 'status-success=ci/circleci: ghc-8.8.2'
+  - 'status-success=ci/circleci: ghc-8.8.3'
+  - 'status-success=ci/circleci: ghc-8.10.2'
+  - 'status-success=ci/circleci: ghc-8.6.5'
+  - 'status-success=ci/circleci: ghc-8.8.4'
+  - 'status-success=ci/circleci: ghc-default'
+  
+  - label=merge me
+  - ! '#approved-reviews-by>=1'
+- actions:
+    delete_head_branch: {}
+  name: Delete head branch after merge
+  conditions:
+  - merged