Merge pull request #26 from humanoid-path-planner/mergify

setup mergify
humanoid-path-planner · Oct 7, 2024 · 8ef3d8f · 8ef3d8f
2 parents 01ff108 + a54aadf
commit 8ef3d8f
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.mergify.yml b/.mergify.yml
@@ -0,0 +1,11 @@
+pull_request_rules:
+  - name: merge automatically when CI passes and PR is approved
+    conditions:
+      - check-success = "gitlab-ci"
+      - check-success = "Nix build on ubuntu"
+      - check-success = "pre-commit.ci - pr"
+      - or:
+        - author = pre-commit-ci[bot]
+        - author = dependabot[bot]
+    actions:
+      merge: