Merge pull request #219 from nix-community/joerg-ci

update mergify-config
This commit is contained in:
mergify[bot] 2023-06-20 04:23:52 +00:00 committed by GitHub
commit 5a9c4c0390
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -12,10 +12,11 @@ defaults:
actions: actions:
queue: queue:
allow_merging_configuration_change: true allow_merging_configuration_change: true
method: rebase
pull_request_rules: pull_request_rules:
- name: merge using the merge queue - name: merge using the merge queue
conditions: conditions:
- base=main - base=main
- label=merge-queue - label~=merge-queue|dependencies
actions: actions:
queue: {} queue: {}