Disable mergify
As discussed in #rust-gpu on discord, it's more pain than it's worth
pull_request_rules:
- - name: automatic merge when CI passes and 1 reviews
- conditions:
- - "#review-requested=0"
- - "#changes-requested-reviews-by=0"
- - base=main
- actions:
- merge:
- method: squash
- name: delete head branch after merge
conditions:
- merged
