Skip to content

ci: run required checks for merge groups - #610

Merged
mogul merged 1 commit into
mainfrom
unblock-pr-592-merge-queue
Oct 22, 2026
Merged

mogul merged 1 commit into
mainfrom
unblock-pr-592-merge-queue

Conversation

@mogul

@mogul mogul commented Oct 22, 2026

Copy link
Copy Markdown
Contributor

Summary

Fix missing required checks on merge-queue commits:

  • Add merge_group triggers to PR lint, pre-commit, and Bash 3.2 compatibility workflows.
  • Run the PR title validator only on PR events; acknowledge previously validated titles on merge groups.
  • Use the merge-group base SHA for Bash relevance detection, validate the SHA, and preserve fail-closed behavior.

Refs: #607
Unblocks: #592
Related fix: GSA-TTS/agentic-coding-patterns#524

Verification

  • PASS: YAML, whitespace, EOF, merge-conflict checks, and git diff --check.
  • PASS: shell syntax and focused relevance tests covering malformed/missing SHAs, relevant/irrelevant paths, and fetch/diff failures.
  • PASS: all 16 upstream-result gate combinations.
  • PASS: adversarial AI subagent review found no blockers.
  • BLOCKED locally: full pre-commit exhausted disk space while building pinned gitleaks; actionlint unavailable.
  • Pending: PR CI and all three required contexts reporting on a real merge-group SHA with successful queue progression.

Security impact

Preserves required check names, read-only permissions, pinned actions, and queue-ref concurrency isolation.

Rollback

Revert this commit; doing so restores the missing merge-group checks.

AI assistance

Implemented and reviewed with OpenCode AI agents under the approved three-workflow plan. Human review remains pending.

Handle queue event payloads while preserving required check contexts.\nValidate the relevance base SHA and retain fail-closed gate behavior.

Refs: #607

Co-authored-by: OpenCode <[email protected]>
@mogul
mogul merged commit f54412d into main Oct 22, 2026
4 checks passed
@mogul
mogul deleted the unblock-pr-592-merge-queue branch October 22, 2026 09:21
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