Skip to content

docs(skills): commit skill — triage checklist when a push spawns no CI run - #63

Merged
DJRHails merged 2 commits into
mainfrom
djrhails/commit-skill-no-ci-triage
Jul 31, 2026
Merged

docs(skills): commit skill — triage checklist when a push spawns no CI run#63
DJRHails merged 2 commits into
mainfrom
djrhails/commit-skill-no-ci-triage

Conversation

@DJRHails

Copy link
Copy Markdown
Owner

A djrhails-dev gantry worker burned time (and filed operator feedback) blaming the injected GITHUB_TOKEN when its PR-branch pushes to DJRHails/touchstone spawned no CI runs. The actual cause was a merge-conflicted PR: GitHub creates no pull_request runs when it can't build the refs/pull/<n>/merge test-merge commit (touchstone PR #1846, mergeable_state: dirty), and touchstone's ci.yml only runs push on main, so the pull_request event was the only CI path for branch commits.

This adds a short "If CI doesn't start after a push" triage checklist to the commit skill — conflicted PR first, trigger filters second, token type last — so future workers (and interactive sessions) check the cheap causes before blaming credentials.

Context: feedback triage for run gentle-woven-badger.

via gantry

@DJRHails DJRHails left a comment

Copy link
Copy Markdown
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Automated review — findings posted inline. Each thread is resolved as its fix lands.

Comment thread modules/agents/skills/commit/SKILL.md Outdated
P2 (F1): the conflicted-PR triage step documented 'mergeable: false',
a value gh pr view --json mergeable can never return — it uses GraphQL,
where mergeable is the enum MERGEABLE/CONFLICTING/UNKNOWN (the boolean
shape is REST's). Verified against the conflicted PR the doc cites:
gh pr view 1846 --repo DJRHails/touchstone --json mergeable,mergeStateStatus
returns {"mergeStateStatus":"DIRTY","mergeable":"CONFLICTING"}.
Changed to 'mergeable: CONFLICTING'.

Verification: gitleaks staged scan clean; check-crypt-patterns.sh passes.
Docs-only change, no build/tests apply.
@DJRHails

Copy link
Copy Markdown
Owner Author

Review Summary

Direct single-pass review (docs-only, 15 added lines in one markdown file — below the multi-agent threshold). Every technical claim in the new triage checklist was verified against live GitHub behavior.

Findings

# Severity Finding Resolution
F1 P2 Conflicted-PR step documented mergeable: false, a value gh pr view --json mergeable (GraphQL) can never return — the enum is MERGEABLE/CONFLICTING/UNKNOWN; the boolean shape is REST's. An agent matching on false would miss the conflicted state and fall through to blaming the token. Fixed in f845ff7: mergeable: CONFLICTING. Verified against the cited conflicted PR: gh pr view 1846 --repo DJRHails/touchstone --json mergeable,mergeStateStatus{"mergeStateStatus":"DIRTY","mergeable":"CONFLICTING"}.

Claims that checked out: conflicted PRs producing no pull_request runs (no refs/pull/<n>/merge test-merge commit), push: branches: [main] + paths: filter behavior, and Actions-issued ghs_ tokens suppressing workflow triggering — all accurate. mergeStateStatus: DIRTY was already correct. No sibling occurrences of the wrong value elsewhere in the repo (rg mergeable).

Verification

  • Tests: n/a (docs-only; repo has no CI workflows)
  • Hooks: gitleaks, TruffleHog, check-crypt-patterns — all passed on commit
  • Secrets: gitleaks git --staged clean

Commit

f845ff7fix: resolve code review findings for PR #63

Verdict: approve

via gantry

@DJRHails
DJRHails merged commit d429a8c into main Jul 31, 2026
1 check passed
@DJRHails
DJRHails deleted the djrhails/commit-skill-no-ci-triage branch July 31, 2026 01:35
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