2018-10-15 16:00:34 +02:00
|
|
|
pull_request_rules:
|
|
|
|
|
- name: automatic merge
|
|
|
|
|
conditions:
|
|
|
|
|
- label!=no-mergify
|
|
|
|
|
- '#approved-reviews-by>=2'
|
2021-05-06 20:10:19 +02:00
|
|
|
- status-success=Build & Test
|
|
|
|
|
- status-success=Update API docs
|
2018-10-15 16:00:34 +02:00
|
|
|
- status-success=codecov/patch
|
|
|
|
|
- status-success=coverage/coveralls
|
|
|
|
|
actions:
|
|
|
|
|
merge:
|
|
|
|
|
method: merge
|
|
|
|
|
delete_head_branch: {}
|
|
|
|
|
dismiss_reviews: {}
|
