docs(skills): commit skill — triage checklist when a push spawns no CI run - #63
Conversation
DJRHails
left a comment
There was a problem hiding this comment.
Automated review — findings posted inline. Each thread is resolved as its fix lands.
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.
Review SummaryDirect 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
Claims that checked out: conflicted PRs producing no Verification
Commitf845ff7 — Verdict: approve |
A djrhails-dev gantry worker burned time (and filed operator feedback) blaming the injected
GITHUB_TOKENwhen its PR-branch pushes toDJRHails/touchstonespawned no CI runs. The actual cause was a merge-conflicted PR: GitHub creates nopull_requestruns when it can't build therefs/pull/<n>/mergetest-merge commit (touchstone PR #1846,mergeable_state: dirty), and touchstone'sci.ymlonly runspushonmain, so thepull_requestevent 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