From 1c36db5fa4bead191d36bf14690c19463fc7b9fa Mon Sep 17 00:00:00 2001 From: Michael Vawter Date: Fri, 2 Oct 2026 22:56:19 -0400 Subject: [PATCH] fix(coord): coord.sh done reads PR state with a field gh knows `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 --- .claude/skills/coordinate/scripts/coord.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.claude/skills/coordinate/scripts/coord.sh b/.claude/skills/coordinate/scripts/coord.sh index 987f478..8f8aa91 100644 --- a/.claude/skills/coordinate/scripts/coord.sh +++ b/.claude/skills/coordinate/scripts/coord.sh @@ -490,7 +490,7 @@ cmd_done() { if [ -n "$prurl" ]; then [[ "$prurl" =~ /pull/([0-9]+) ]] || die "cannot parse a PR number from: $prurl" local prn="${BASH_REMATCH[1]}" state - state="$(gh pr view "$prn" --repo "$REPO" --json state,merged --jq '.state')" + state="$(gh pr view "$prn" --repo "$REPO" --json state,mergedAt --jq '.state')" [ "$state" = "MERGED" ] || die "PR #$prn is not merged yet - merge it before closing #$N" fi comment "$N" DONE "pr: ${prurl:-_(none given)_}"$'\n'"${POS[1]:-}"