merge dependabot PRs automatically

This commit is contained in:
Tobias Koppers 2019-05-14 22:04:15 +02:00 committed by GitHub
parent e81fb969cf
commit cc05770ea8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 0 deletions

View File

@ -505,6 +505,17 @@ rules:
context: "licence/cla"
description: "Contributor License Agreement is not needed for this user."
state: "success"
# merge dependabot PRs automatically
- filters:
open: true
pull_request:
author: "^dependabot\\[bot\\]$"
mergeable_state: clean
merged: false
label: "PR: CI-ok"
actions:
merge: true
# add "Send a PR" label when somebody with write permission say it
- filters: