2019-07-03 16:58:30 +02:00
|
|
|
pull_request_rules:
|
|
|
|
- actions:
|
|
|
|
merge:
|
2019-07-04 17:05:50 +02:00
|
|
|
strict: smart
|
2019-07-03 16:58:30 +02:00
|
|
|
method: squash
|
|
|
|
name: Automatically merge pull requests
|
|
|
|
conditions:
|
|
|
|
- status-success=continuous-integration/appveyor/pr
|
|
|
|
- status-success=hydra
|
|
|
|
- label=merge me
|
|
|
|
- ! '#approved-reviews-by>=1'
|
|
|
|
- ! '#changes-requested-reviews-by=0'
|
2019-07-07 19:56:39 +02:00
|
|
|
- actions:
|
|
|
|
delete_head_branch: {}
|
|
|
|
name: Delete head branch after merge
|
2019-07-08 04:20:47 +02:00
|
|
|
conditions:
|
|
|
|
- merged
|