Merge pull request #18319 from grpc/vjpai-patch-2

Prevent merging if PR labeled DO NOT MERGE
pull/18333/head
Vijay Pai 6 years ago committed by GitHub
commit d3f152f79a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 24
      .github/mergeable.yml

@ -1,14 +1,18 @@
mergeable:
pull_requests:
label:
or:
- and:
and:
- must_exclude:
regex: '^disposition/DO NOT MERGE'
message: 'Pull request marked not mergeable'
- or:
- and:
- must_include:
regex: 'release notes: yes'
message: 'Please include release note: yes'
- must_include:
regex: '^lang\/'
message: 'Please include a language label'
- must_include:
regex: 'release notes: yes'
message: 'Please include release note: yes'
- must_include:
regex: '^lang\/'
message: 'Please include a language label'
- must_include:
regex: 'release notes: no'
message: 'Please include release note: no'
regex: 'release notes: no'
message: 'Please include release note: no'

Loading…
Cancel
Save