2020-07-15 07:58:52 +08:00
|
|
|
pull_request_rules:
|
|
|
|
- name: backport to master
|
|
|
|
conditions:
|
|
|
|
- merged
|
|
|
|
- base=dev
|
2020-07-15 08:52:05 +08:00
|
|
|
- label="Please Backport"
|
2020-07-15 07:58:52 +08:00
|
|
|
actions:
|
|
|
|
backport:
|
|
|
|
branches:
|
|
|
|
- master
|
|
|
|
ignore_conflicts: True
|
|
|
|
label_conflicts: "bp-conflict"
|
2020-07-15 08:52:05 +08:00
|
|
|
label:
|
|
|
|
add: [Backported]
|
2020-07-15 07:58:52 +08:00
|
|
|
|
|
|
|
- name: label Mergify backport PR
|
|
|
|
conditions:
|
|
|
|
- body~=This is an automated backport of pull request \#\d+ done by Mergify
|
|
|
|
actions:
|
|
|
|
label:
|
2020-07-15 08:52:05 +08:00
|
|
|
add: [Backport]
|