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

fix default branch
This commit is contained in:
Jörg Thalheim 2023-06-12 05:15:47 +01:00 committed by GitHub
commit 709e37b98f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -17,7 +17,7 @@ defaults:
pull_request_rules:
- name: merge using the merge queue
conditions:
- base=main
- base=master
- label=merge-queue
actions:
queue: {}