2023-06-12 04:41:43 +00:00
|
|
|
queue_rules:
|
|
|
|
- name: default
|
|
|
|
merge_conditions:
|
2023-11-03 23:44:04 +00:00
|
|
|
- check-success=collect
|
2023-11-03 23:48:38 +00:00
|
|
|
|
2023-06-12 04:41:43 +00:00
|
|
|
defaults:
|
|
|
|
actions:
|
|
|
|
queue:
|
|
|
|
allow_merging_configuration_change: true
|
2023-06-20 04:09:56 +00:00
|
|
|
method: rebase
|
2023-11-03 23:48:38 +00:00
|
|
|
|
2023-06-12 04:41:43 +00:00
|
|
|
pull_request_rules:
|
|
|
|
- name: merge using the merge queue
|
|
|
|
conditions:
|
|
|
|
- base=main
|
2023-06-20 04:09:56 +00:00
|
|
|
- label~=merge-queue|dependencies
|
2022-01-16 09:38:36 +00:00
|
|
|
actions:
|
2023-06-12 04:41:43 +00:00
|
|
|
queue: {}
|