2018-10-15 16:00:34 +02:00
|
|
|
pull_request_rules:
|
|
|
|
- name: automatic merge
|
|
|
|
conditions:
|
|
|
|
- label!=no-mergify
|
|
|
|
- '#approved-reviews-by>=2'
|
2022-03-05 21:12:14 +01:00
|
|
|
- check-success=Build & Test
|
|
|
|
- check-success=Update API docs
|
2018-10-15 16:00:34 +02:00
|
|
|
- status-success=codecov/patch
|
|
|
|
actions:
|
|
|
|
merge:
|
|
|
|
method: merge
|
|
|
|
delete_head_branch: {}
|
|
|
|
dismiss_reviews: {}
|