Merge PR #5723: fix config file

This commit is contained in:
Marko 2020-02-28 18:36:26 +01:00 committed by GitHub
parent 1b78457135
commit a5fd4705ed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -1,10 +1,10 @@
pull_request_rules: pull_request_rules:
- name: automatic merge for master when CI passes, has 1 review and has the label automerge - name: automerge to master with label automerge and branch protection passing
conditions: conditions:
- "#approved-reviews-by>=1" - "#approved-reviews-by>=1"
- "status-success=ci/circleci - Pull Request"
- base=master - base=master
- label=automerge - label=automerge
actions: actions:
merge: merge:
method: squash method: squash
strict: true