From 139875d1f281dc443a728dd890a01d161a76fb2e Mon Sep 17 00:00:00 2001 From: Sergey Yakovlev Date: Wed, 30 Oct 2024 22:49:08 +0200 Subject: [PATCH] chore(ci): rework mergify configuration --- .github/mergify.yml | 19 +++++++++++-------- 1 file changed, 11 insertions(+), 8 deletions(-) diff --git a/.github/mergify.yml b/.github/mergify.yml index dbc63d44..c42f51d9 100644 --- a/.github/mergify.yml +++ b/.github/mergify.yml @@ -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 @@ -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