mirror of https://github.com/milvus-io/milvus.git
Update mergify.yml for related issue (#6535)
Signed-off-by: quicksilver <zhifeng.zhang@zilliz.com>pull/6542/head
parent
5568dffa04
commit
41de2a6fb1
.github
|
@ -88,16 +88,23 @@ pull_request_rules:
|
|||
- name: Blocking PR if missing a related issue
|
||||
conditions:
|
||||
- base=master
|
||||
- "-body~=issue: #[0-9]{1,4}"
|
||||
- "-body~= #[0-9]{1,6}"
|
||||
- "body~=(?!close|closes|closed|fix|fixes|fixed|resolve|resolves|resolved) #[0-9]{1,6}"
|
||||
actions:
|
||||
label:
|
||||
add:
|
||||
- do-not-merge/missing-related-issue
|
||||
comment:
|
||||
message: |
|
||||
@{{author}} Please associate the related issue to the body of your Pull Request. (eg. “issue: #5”)
|
||||
Make sure you don't include linking PR to issue [keywords](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword) in your pull request.
|
||||
|
||||
|
||||
- name: Dismiss block label if related issue be added into PR
|
||||
conditions:
|
||||
- base=master
|
||||
- "body~=issue: #[0-9]{1,4}"
|
||||
- "body~= #[0-9]{1,6}"
|
||||
- "-body~=(?!close|closes|closed|fix|fixes|fixed|resolve|resolves|resolved) #[0-9]{1,6}"
|
||||
actions:
|
||||
label:
|
||||
remove:
|
||||
|
|
Loading…
Reference in New Issue