chore: Disable mergify on dependabot PRs

Merging via comment isn't possible. We could merge this automatically on
green, however we'd prefer to use @dependabot merge or merge manually.

Signed-off-by: Dave Tucker <dave@dtucker.co.uk>
reviewable/pr1210/r1
Dave Tucker 1 week ago
parent 73a34e1571
commit 00b5cc5aaf

@ -1,11 +1,4 @@
pull_request_rules:
- name: automatic merge for Dependabot pull request that pass CI
conditions:
- author=dependabot[bot]
actions:
comment:
message: "@dependabot merge"
# REVIEW MANAGEMENT
- name: ask alessandrod to review public API changes

Loading…
Cancel
Save