Update label-tpu mergify and remove removal bot (#16298)

This commit is contained in:
Michael Goin 2025-04-09 01:56:25 -06:00 committed by GitHub
parent e484e02857
commit 477d2a8aa2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

18
.github/mergify.yml vendored
View File

@ -90,10 +90,9 @@ pull_request_rules:
- name: label-tpu - name: label-tpu
description: Automatically apply tpu label description: Automatically apply tpu label
# Keep this list in sync with `label-tpu-remove` conditions
conditions: conditions:
- or: - or:
- files~=tpu.py - files~=tpu.
- files~=_tpu - files~=_tpu
- files~=tpu_ - files~=tpu_
- files~=/tpu/ - files~=/tpu/
@ -103,21 +102,6 @@ pull_request_rules:
add: add:
- tpu - tpu
- name: label-tpu-remove
description: Automatically remove tpu label
# Keep this list in sync with `label-tpu` conditions
conditions:
- and:
- -files~=tpu.py
- -files~=_tpu
- -files~=tpu_
- -files~=/tpu/
- -files~=pallas
actions:
label:
remove:
- tpu
- name: ping author on conflicts and add 'needs-rebase' label - name: ping author on conflicts and add 'needs-rebase' label
conditions: conditions:
- conflict - conflict