Use GitHub's automerge instead of Mergify

This commit is contained in:
Hugo van Kemenade 2025-08-02 12:20:28 +03:00
parent ba5f81fb6b
commit 88b7368357

14
.github/mergify.yml vendored
View File

@ -1,14 +0,0 @@
pull_request_rules:
- name: Automatic merge
conditions:
- "#approved-reviews-by>=1"
- label=automerge
- status-success=Lint
- status-success=Test Successful
- status-success=Docker Test Successful
- status-success=Windows Test Successful
- status-success=MinGW
- status-success=Cygwin Test Successful
actions:
merge:
method: merge