Merge pull request from dave-tucker/no-mergify-dependabot

chore: Disable mergify on dependabot PRs
pull/1212/head
Dave Tucker committed by GitHub
commit 65489e1d4c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

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

Loading…
Cancel
Save