2020-07-28 13:10:26 +02:00
|
|
|
# See https://doc.mergify.io/configuration.html
|
|
|
|
|
|
|
|
|
|
pull_request_rules:
|
|
|
|
|
- name: automerge to master with label automerge
|
|
|
|
|
conditions:
|
2020-07-28 22:44:09 +02:00
|
|
|
- "#approved-reviews-by>=1"
|
2020-07-28 13:10:26 +02:00
|
|
|
- base=master
|
|
|
|
|
- label=automerge
|
2020-07-30 15:06:48 +02:00
|
|
|
- label!=WIP
|
2020-07-28 13:10:26 +02:00
|
|
|
# We need to list them all individually. Here is why: https://doc.mergify.io/conditions.html#validating-all-status-check
|
|
|
|
|
- "status-success=ci/circleci: build"
|
|
|
|
|
- "status-success=ci/circleci: coverage"
|
|
|
|
|
- "status-success=ci/circleci: docs-build"
|
|
|
|
|
- "status-success=ci/circleci: lint"
|
|
|
|
|
- "status-success=ci/circleci: test"
|
|
|
|
|
- "status-success=ci/circleci: test-chrome"
|
|
|
|
|
actions:
|
|
|
|
|
merge:
|
|
|
|
|
method: merge
|
|
|
|
|
strict: false
|
