admin/milvus
1
0
Fork 0
mirror of https://gitee.com/milvus-io/milvus.git synced 2026-01-07 19:31:51 +08:00
Code Issues Packages Projects Releases Wiki Activity

PR with imporvement can merge without linking a issue (#7542)

Browse Source 
Signed-off-by: Edward Zeng <jie.zeng@zilliz.com>
This commit is contained in:
edward.zeng 2021-09-08 10:07:58 +08:00 committed by GitHub
parent 76f5264e79
commit e5ff32beee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
.github/mergify.yml vendored
View File

@ -96,10 +96,11 @@ pull_request_rules:
remove:
- ci-passed
- name: Blocking PR if missing a related issue
- name: Blocking PR if missing a related issue or PR doesn't have kind/improvement label
conditions:
- base=master
- -body~=\#[0-9]{1,6}(\s+|$)
- -label=kind/improvement
- -title~=\[automated\]
actions:
label:
@ -112,8 +113,13 @@ pull_request_rules:
- name: Dismiss block label if related issue be added into PR
conditions:
- base=master
- body~=\#[0-9]{1,6}(\s+|$)
- or:
- and:
- base=master
- body~=\#[0-9]{1,6}(\s+|$)
- and:
- base=master
- label=kind/improvement
actions:
label:
remove: