message: Don't automerge WIP labeled PRs
diff: @@ -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"
  