From 3365f88aceebe00373316dfacd00893f511758f4 Mon Sep 17 00:00:00 2001
From: Guilhem Saurel <guilhem.saurel@laas.fr>
Date: Tue, 8 Oct 2024 12:43:25 +0200
Subject: [PATCH] setup mergify

---
 .mergify.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 .mergify.yml

diff --git a/.mergify.yml b/.mergify.yml
new file mode 100644
index 0000000..0e037ad
--- /dev/null
+++ b/.mergify.yml
@@ -0,0 +1,12 @@
+pull_request_rules:
+  - name: merge automatically when CI passes and PR is approved
+    conditions:
+      - check-success = "gitlab-ci"
+      - check-success = "nix (macos)"
+      - check-success = "nix (ubuntu)"
+      - check-success = "pre-commit.ci - pr"
+      - or:
+        - author = pre-commit-ci[bot]
+        - author = dependabot[bot]
+    actions:
+      merge: