2024-12-02 14:15:36 -05:00
|
|
|
queue_rules:
|
|
|
|
|
- name: default
|
|
|
|
|
queue_conditions:
|
2023-10-03 13:52:16 -04:00
|
|
|
- "#approved-reviews-by>=2"
|
2023-10-18 10:37:55 -04:00
|
|
|
- check-success=build (stable)
|
|
|
|
|
- check-success=CodeFactor
|
|
|
|
|
- check-success=Rust project
|
2024-12-02 14:15:36 -05:00
|
|
|
merge_conditions: []
|
|
|
|
|
merge_method: squash
|
|
|
|
|
|
|
|
|
|
pull_request_rules:
|
2023-10-03 13:52:16 -04:00
|
|
|
- name: automatic update of pull requests where more 5 commits behind
|
|
|
|
|
conditions:
|
|
|
|
|
- "#commits-behind>5"
|
|
|
|
|
actions:
|
|
|
|
|
update:
|
|
|
|
|
- name: delete head branch after merge
|
|
|
|
|
conditions:
|
|
|
|
|
- merged
|
|
|
|
|
actions:
|
2024-12-02 14:15:36 -05:00
|
|
|
delete_head_branch: {}
|
|
|
|
|
- name: Automatic merge on approval
|
|
|
|
|
conditions: []
|
|
|
|
|
actions:
|
|
|
|
|
queue:
|
