2018-10-15 16:00:34 +02:00
|
|
|
pull_request_rules:
|
|
|
|
- name: automatic merge
|
|
|
|
conditions:
|
|
|
|
- label!=no-mergify
|
|
|
|
- '#approved-reviews-by>=2'
|
2019-01-29 12:53:24 +01:00
|
|
|
- status-success=Travis CI - Pull Request
|
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: {}
|