Skip to content

Commit 42145ec

Browse files
authored
[ci skip] ci(Mergify): configuration update (#331)
2 parents d8dce8e + e9a5921 commit 42145ec

1 file changed

Lines changed: 28 additions & 0 deletions

File tree

.mergify.yml

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
pull_request_rules:
2+
- name: Make sure PR are update before merging with rebase
3+
description: This automatically rebases PRs when they are out-of-date with the
4+
base branch to avoid semantic conflicts (next step us switch to merge
5+
queue).
6+
conditions:
7+
- "#commits-behind >= 10"
8+
actions:
9+
rebase:
10+
- name: Label conflicting pull requests
11+
description: Add a label to a pull request with conflict to spot it easily
12+
conditions:
13+
- conflict
14+
- -closed
15+
actions:
16+
label:
17+
toggle:
18+
- conflict
19+
- name: Ping PR author when conflicting
20+
description: Warn the pull request author when their PR are conflicting
21+
conditions:
22+
- conflict
23+
- -closed
24+
actions:
25+
comment:
26+
message: >
27+
👋 {{author}} your PR is conflicting and needs to be updated to be
28+
merged

0 commit comments

Comments
 (0)