Skip to content

chore: merge dev into main - #220

Merged
TitusKirch merged 2 commits into
mainfrom
dev
Aug 3, 2026
Merged

chore: merge dev into main#220
TitusKirch merged 2 commits into
mainfrom
dev

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

Automated rollup PR for changes accumulated on dev. Mark ready when you want release-please to pick it up — and use a merge commit, not squash, so individual feat:/fix: commits stay visible to release-please.

Lands an ai/queue-* branch on the integration branch by fast-forward, so
release-please still sees every individual commit message. The queue App
(4473889) is already the merge-gate bypass actor on this branch; this is
the workflow half of that bypass, and it holds the "head must be
ai/queue-*" condition a ruleset cannot express.

workflow_dispatch is the only trigger: an environment with a required
reviewer is not available across this estate, so the dispatch is the
human gate. See ADR-0008 in kirchDev/infrastructure.

Refs INF-43
Only in the profile: the base config runs branch:dev, where the mode is inert
because that path opens no per-issue PR to group.

Turning it on is safe ahead of the workflow that maintains ai/queue-<hash>. The
drain no longer cuts that branch — it aims at an open one and falls back to
pr.base when there is none, so the key is a preference until the target repo
carries the workflow, not a precondition on it.
@TitusKirch
TitusKirch marked this pull request as ready for review August 3, 2026 19:37
@TitusKirch
TitusKirch merged commit 34ded71 into main Aug 3, 2026
9 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant