Revert "Update label-tpu mergify and remove removal bot" (#16350)

This commit is contained in:
Michael Goin 2025-04-09 08:59:36 -06:00 committed by GitHub
parent 98d01d3ce2
commit 098900d7c2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

18
.github/mergify.yml vendored
View File

@ -90,9 +90,10 @@ pull_request_rules:
- name: label-tpu
description: Automatically apply tpu label
# Keep this list in sync with `label-tpu-remove` conditions
conditions:
- or:
- files~=tpu.
- files~=tpu.py
- files~=_tpu
- files~=tpu_
- files~=/tpu/
@ -102,6 +103,21 @@ pull_request_rules:
add:
- 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
conditions:
- conflict