2022-01-16 10:21:08 +01:00
|
|
|
pull_request_rules:
|
|
|
|
|
- name: automatic merge on CI success
|
|
|
|
|
conditions:
|
|
|
|
|
- check-success=ci/hercules/evaluation
|
|
|
|
|
- check-success=ci/hercules/derivations
|
|
|
|
|
- author=github-actions[bot]
|
|
|
|
|
actions:
|
|
|
|
|
merge:
|
2022-11-16 13:58:03 +10:00
|
|
|
method: rebase
|
2022-01-16 10:21:08 +01:00
|
|
|
delete_head_branch: {}
|
