chore: delete mergify config (#30521)

This commit is contained in:
bo0tzz 2026-08-03 16:50:28 +02:00 committed by GitHub
parent e5c3bdad17
commit 46c42e0935
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,7 +0,0 @@
merge_queue:
status_comments: outcomes
queue_rules:
- name: default
batch_size: 3
batch_max_wait_time: 2 min