mirror of
https://github.com/enso-org/enso.git
synced 2024-11-30 05:35:09 +03:00
b9e6510a12
This PR adds two new labels to interact with CI systems: * `CI: Keep up to date` tells mergify bot to auto-update the PR against develop but do not merge it. * `CI: No changelog needed` is meant to replace old `[ci no changelog needed]` * `CI: Clean build required` marks PR as being incompatible with main development branch and will ensure that runners are cleaned before and after running jobs related to this PR. Note that currently only first label is supported, others will follow with the build script update. However they need to be merged before, so I am able to develop and test them.
24 lines
643 B
YAML
24 lines
643 B
YAML
pull_request_rules:
|
|
- name: Automatic merge on approval
|
|
conditions:
|
|
- "label=CI: Ready to merge"
|
|
actions:
|
|
merge:
|
|
method: squash
|
|
commit_message_template: |
|
|
{{ title }} (#{{ number }})
|
|
{{ body | get_section("### Pull Request Description", "") }}
|
|
|
|
{% set notes = body | get_section("### Important Notes", "") -%}
|
|
{%- if notes -%}
|
|
# Important Notes
|
|
{{ notes }}
|
|
{%- endif -%}
|
|
- name: Automatic PR update
|
|
conditions:
|
|
- or:
|
|
- "label=CI: Keep up to date"
|
|
- "label=CI: Ready to merge"
|
|
actions:
|
|
update:
|