Skip to content

Commit

Permalink
chore(ci): rework mergify configuration
Browse files Browse the repository at this point in the history
  • Loading branch information
selfuryon committed Oct 30, 2024
1 parent b3b62c6 commit 139875d
Showing 1 changed file with 11 additions and 8 deletions.
19 changes: 11 additions & 8 deletions .github/mergify.yml
Original file line number Diff line number Diff line change
@@ -1,12 +1,9 @@
defaults:
actions:
queue:
allow_merging_configuration_change: true

queue_rules:
- name: default
conditions:
- check-success=buildbot/nix-eval
- "check-success=buildbot/nix-eval"
batch_size: 1
batch_max_wait_time: "15 minutes"

pull_request_rules:
- name: Automerge PRs using the merge queue
Expand All @@ -17,9 +14,15 @@ pull_request_rules:
queue:
name: default
method: squash
commit_message_template: |
{{ title }} (#{{ number }})
{{ body }}
allow_merging_configuration_change: true

- name: Delete head branch after merge
conditions:
- "merged"
- merged
actions:
delete_head_branch: {}
delete_head_branch:
force: true

0 comments on commit 139875d

Please sign in to comment.