mirror of
https://github.com/Sea-Haven-Industries/.github.git
synced 2026-10-05 23:32:01 +00:00
fix(ci): batch mergify queue to avoid in-place review dismissal (#137)
This commit is contained in:
parent
727627f1da
commit
2fe812e3f9
2 changed files with 3 additions and 1 deletions
|
|
@ -20,6 +20,8 @@ merge_protections:
|
||||||
|
|
||||||
queue_rules:
|
queue_rules:
|
||||||
- name: default
|
- name: default
|
||||||
|
batch_size: 3
|
||||||
|
batch_max_wait_time: 30 seconds
|
||||||
queue_conditions:
|
queue_conditions:
|
||||||
- base = main
|
- base = main
|
||||||
- -draft
|
- -draft
|
||||||
|
|
|
||||||
|
|
@ -26,7 +26,7 @@ The two sanctioned deploy paths are merge to `main` triggering the pipeline and
|
||||||
|
|
||||||
### Merge queue
|
### Merge queue
|
||||||
|
|
||||||
Consumer repos extend `.mergify.yml` via `extends: .github`. Mergify still auto-queues when it is awake. To kick a stuck PR, apply the `queue ready` label. That does not bypass `ci / ci` or `APPROVED`. Do not use `queued`; Mergify applies that while a PR is in the queue.
|
Consumer repos extend `.mergify.yml` via `extends: .github`. Mergify auto-queues when it is awake. The default queue tests up to three PRs together on a draft branch so it does not push onto the original PR. Each PR still squash-merges on its own. To kick a stuck PR, apply the `queue ready` label. That does not bypass `ci / ci` or `APPROVED`. Do not use `queued`; Mergify applies that while a PR is in the queue.
|
||||||
|
|
||||||
## What's in here
|
## What's in here
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue