infra/.mergify.yml
2022-04-10 23:35:53 +02:00

10 lines
279 B
YAML

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:
method: merge
delete_head_branch: {}