Skip to content

fix(coord): coord.sh done reads PR state with a field gh knows - #97

Merged
xcjs merged 1 commit into
mainfrom
fix/coord-done-mergedat
Oct 3, 2026
Merged

xcjs merged 1 commit into
mainfrom
fix/coord-done-mergedat

Conversation

@m-vawter

@m-vawter m-vawter commented Oct 3, 2026

Copy link
Copy Markdown
Collaborator

coord.sh done stopped before posting DONE whenever it had a PR URL, from --pr or from a pr: comment. It asked gh for --json state,merged, and gh has no merged field:

Unknown JSON field: "merged"

coord.ps1 asks for state,mergedAt, which is why done works from PowerShell. This one-line change does the same in coord.sh. The merged check itself is unchanged.

Verification

🤖 Generated with Claude Code

`done` asked gh for `--json state,merged` whenever it had a PR URL. gh
has no `merged` JSON field ("Unknown JSON field: \"merged\""), so the
command exited before posting DONE. coord.ps1 already asks for
`state,mergedAt`; coord.sh now does the same. The merged check itself
is unchanged.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@m-vawter m-vawter mentioned this pull request Oct 3, 2026

@xcjs xcjs left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

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

Verified: main's coord.sh queries --json state,merged and gh rejects the unknown field; coord.ps1 already uses state,mergedAt. One-line fix is correct, mergeable state guard still functions. Approving as non-author.

@xcjs
xcjs merged commit 7d67898 into main Oct 3, 2026
4 checks passed
@xcjs
xcjs deleted the fix/coord-done-mergedat branch October 3, 2026 03:04
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.

2 participants