Merge branch 'devel' into ci

stack-of-tasks · Dec 3, 2024 · 8a2ccfa · 8a2ccfa
2 parents 0ca6718 + d5d3558
commit 8a2ccfa
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/.mergify.yml b/.mergify.yml
@@ -0,0 +1,15 @@
+pull_request_rules:
+  - name: merge automatically when CI passes and PR is approved
+    conditions:
+      - check-success = "CI (humble)"
+      - check-success = "CI (iron)"
+      - check-success = "CI (jazzy)"
+      - check-success = "CI (rolling)"
+      - 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: