Merge pull request #174 from Mic92/mergify

fix mergify rules
This commit is contained in:
Jörg Thalheim 2023-06-16 07:46:21 +01:00 committed by GitHub
commit 6c29a350d9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,11 +3,11 @@ queue_rules:
merge_conditions:
- check-success=format-check
- check-success=tests
method: rebase
defaults:
actions:
queue:
allow_merging_configuration_change: true
method: rebase
pull_request_rules:
- name: merge using the merge queue
conditions: