Don't merge when WIP or Blocked

This commit is contained in:
Tim Möhlmann
2018-12-07 13:47:22 +02:00
committed by GitHub
parent fee52e87ed
commit 8e5ccf2754

View File

@@ -2,6 +2,7 @@ pull_request_rules:
- name: Successful travis and 2 approved reviews - name: Successful travis and 2 approved reviews
conditions: conditions:
- status-success=continuous-integration/travis-ci/pr - status-success=continuous-integration/travis-ci/pr
- label!=["status"/wip","status/blocked"]
- "#approved-reviews-by>=2" - "#approved-reviews-by>=2"
actions: actions:
merge: merge:
@@ -10,7 +11,7 @@ pull_request_rules:
conditions: conditions:
- author~=(kaiyou|muhlemmer|mildred|HorayNarea|adi90x|hoellen|ofthesun9) - author~=(kaiyou|muhlemmer|mildred|HorayNarea|adi90x|hoellen|ofthesun9)
- status-success=continuous-integration/travis-ci/pr - status-success=continuous-integration/travis-ci/pr
- label!=["review/need2"] - label!=["status"/wip","status/blocked","review/need2"]
- "#approved-reviews-by>=1" - "#approved-reviews-by>=1"
actions: actions:
merge: merge: