We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b3b62c6 commit aadc70cCopy full SHA for aadc70c
.github/mergify.yml
@@ -1,12 +1,9 @@
1
-defaults:
2
- actions:
3
- queue:
4
- allow_merging_configuration_change: true
5
-
6
queue_rules:
7
- name: default
8
conditions:
9
- - check-success=buildbot/nix-eval
+ - "check-success=buildbot/nix-build"
+ batch_size: 1
+ batch_max_wait_time: "15 minutes"
10
11
pull_request_rules:
12
- name: Automerge PRs using the merge queue
@@ -17,9 +14,15 @@ pull_request_rules:
17
14
queue:
18
15
name: default
19
16
method: squash
+ commit_message_template: |
+ {{ title }} (#{{ number }})
+
20
+ {{ body }}
21
+ allow_merging_configuration_change: true
22
23
- name: Delete head branch after merge
24
- - "merged"
25
+ - merged
26
actions:
- delete_head_branch: {}
27
+ delete_head_branch:
28
+ force: true
0 commit comments