2020-04-18 19:22:56 +08:00
|
|
|
pull_request_rules:
|
|
|
|
|
- name: Automatic merge on approval
|
|
|
|
|
conditions:
|
2020-04-18 20:23:35 +08:00
|
|
|
- "label=automerge"
|
2020-04-18 19:22:56 +08:00
|
|
|
- "#approved-reviews-by>=1"
|
2020-04-18 20:23:35 +08:00
|
|
|
- "#review-requested=0"
|
|
|
|
|
- "#changes-requested-reviews-by=0"
|
|
|
|
|
- "#commented-reviews-by=0"
|
2020-04-18 20:38:49 +08:00
|
|
|
- "status-success=DCO"
|
|
|
|
|
- "status-success=continuous-integration/jenkins/pr-merge"
|
2020-04-18 19:22:56 +08:00
|
|
|
actions:
|
|
|
|
|
merge:
|
2020-04-18 20:23:35 +08:00
|
|
|
method: squash
|
|
|
|
|
|
|
|
|
|
- name: Ask to resolve conflict
|
|
|
|
|
conditions:
|
|
|
|
|
- conflict
|
|
|
|
|
actions:
|
|
|
|
|
comment:
|
|
|
|
|
message: This pull request is now in conflicts. Could you fix it? 🙏
|
