kris/pqc
1
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Allow to automatically merge PRs if approved and CI agrees (#234)

Browse Source
This commit is contained in:
Thom Wiggers 2019-09-20 10:39:42 +02:00 committed by Matthias J. Kannwischer
parent 4be5e497dc
commit bdb42f1911
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
.mergify.yml Normal file
View File

@ -0,0 +1,14 @@
pull_request_rules:
- name: Automatic merge
conditions:
- base=master
- "#approved-reviews-by>=1"
- "#changes-requested-reviews-by=0"
- status-success=Travis CI - Pull Request
- status-success=Travis CI - Branch
- status-success=continuous-integration/appveyor/branch
- status-success=continuous-integration/appveyor/pr
- status-success=build
actions:
merge:
strict: smart