Skip to content

ci: subscribe ci-gate to merge_group and scope cancellation to PRs - #44

Merged
rldyourmnd merged 1 commit into
mainfrom
fix/merge-group-readiness
Jul 26, 2026
Merged

ci: subscribe ci-gate to merge_group and scope cancellation to PRs#44
rldyourmnd merged 1 commit into
mainfrom
fix/merge-group-readiness

Conversation

@rldyourmnd

Copy link
Copy Markdown
Contributor

ci-gate is this repository's required context, and main now requires it with enforce_admins. GitHub never reports a required check to a merge queue unless the workflow subscribes to merge_group, so enabling the queue would have left every queued PR waiting forever.

cancel-in-progress was unconditional; cancelling a queued candidate or a main push makes branch protection observe a partial-cancel rather than a decisive result. Now scoped to pull_request.

python3 scripts/validate_all.py: OK. actionlint, zizmor: clean.

@rldyourmnd
rldyourmnd enabled auto-merge July 26, 2026 01:54
ci-gate is this repository's required context. GitHub never reports a required
check to a merge queue unless the workflow subscribes to merge_group, so
enabling the queue here would have left every queued PR waiting forever for a
status that could not arrive.

cancel-in-progress was unconditional. Cancelling a queued merge-group candidate
or a main push makes branch protection observe a partial-cancel instead of a
decisive result, so cancellation is now scoped to pull_request iterations.
@rldyourmnd
rldyourmnd force-pushed the fix/merge-group-readiness branch from b7ee1be to d89ca9b Compare July 26, 2026 01:58
@rldyourmnd
rldyourmnd disabled auto-merge July 26, 2026 01:58
@rldyourmnd
rldyourmnd merged commit aefe8d8 into main Jul 26, 2026
10 checks passed
@rldyourmnd
rldyourmnd deleted the fix/merge-group-readiness branch July 26, 2026 01:59
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