Merge branch 'master' into 'lgtm'

This commit is contained in:
mergify-bot 2019-05-16 22:31:09 +00:00
commit a33e935ce0

View file

@ -1,4 +1,20 @@
pull_request_rules:
- name: Merge owner PR when all checks passed
conditions:
- author=puremourning
- base=master
- status-success=code-review/reviewable
- status-success=puremourning.vimspector # Azure pipeline
- "#review-requested=0"
- "#changes-requested-reviews-by=0"
actions: &merge-actions
merge:
method: merge
strict: smart
delete_head_branch: {}
- name: Merge PR when all checks passed
conditions:
- author!=puremourning
@ -10,23 +26,7 @@ pull_request_rules:
- "#approved-reviews-by>=1"
- "#review-requested=0"
- "#changes-requested-reviews-by=0"
actions:
merge:
method: merge
strict: smart
- name: Merge owner PR when all checks passed
conditions:
- author=puremourning
- base=master
- status-success=code-review/reviewable
- status-success=puremourning.vimspector # Azure pipeline
- "#review-requested=0"
- "#changes-requested-reviews-by=0"
actions:
merge:
method: merge
strict: smart
<<: *merge-actions
comment:
message: Thanks for sending a PR!