chore(mergify): remove dead branches

[skip ci]
This commit is contained in:
Ankush Menat 2023-02-10 21:28:30 +05:30 committed by GitHub
parent 1f6fdebff6
commit b1bffd826c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -71,23 +71,3 @@ pull_request_rules:
assignees:
- "{{ author }}"
- name: backport to version-13-pre-release
conditions:
- label="backport version-13-pre-release"
actions:
backport:
branches:
- version-13-pre-release
assignees:
- "{{ author }}"
- name: backport to version-12-hotfix
conditions:
- label="backport version-12-hotfix"
actions:
backport:
branches:
- version-12-hotfix
assignees:
- "{{ author }}"