2018-10-15 16:00:34 +02:00
|
|
|
pull_request_rules:
|
|
|
|
|
- name: automatic merge
|
|
|
|
|
conditions:
|
|
|
|
|
- label!=no-mergify
|
|
|
|
|
- '#approved-reviews-by>=2'
|
2023-05-16 19:13:21 +02:00
|
|
|
- check-success=lua5.4
|
|
|
|
|
- check-success=codecov-lua5.3
|
|
|
|
|
- check-success=lua5.2
|
|
|
|
|
- check-success=luajit
|
|
|
|
|
- check-success=fixed-lgi-lua5.2
|
|
|
|
|
- check-success=lua5.1
|
|
|
|
|
- check-success=main
|
2018-10-15 16:00:34 +02:00
|
|
|
- status-success=codecov/patch
|
|
|
|
|
actions:
|
|
|
|
|
merge:
|
|
|
|
|
method: merge
|
|
|
|
|
delete_head_branch: {}
|
|
|
|
|
dismiss_reviews: {}
|
