Don't automerge WIP labeled PRs

This commit is contained in:
Simon Warta 2020-07-30 15:06:48 +02:00
parent 73d57035d5
commit 51f5f43ce1

View File

@ -6,6 +6,7 @@ pull_request_rules:
- "#approved-reviews-by>=1"
- base=master
- label=automerge
- label!=WIP
# 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"