Skip to content

fix(spec-sync): update PR body via REST so the LLM summary lands #132

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
tian-lan-landing merged 3 commits into from
Jul 28, 2026
+38 −7
Merged

fix(spec-sync): update PR body via REST so the LLM summary lands #132

Changes from 1 commit
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
4b3117e
fix(spec-sync): update PR body via REST so the LLM summary lands
tian-lan-landing Jul 28, 2026
748488f
feat(spec-sync): refresh the PR summary on human follow-up pushes
tian-lan-landing Jul 28, 2026
8d91a69
fix(spec-sync): drop the push workflow; guard the body rewrite (Copilot)
tian-lan-landing Jul 28, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 16 additions & 3 deletions scripts/spec-sync/summarize-pr.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -52,8 +52,19 @@ if [ -z "$summary" ]; then
fi

# Read the current body and APPEND — never overwrite. Guard the read: a failure or empty body means
# we skip rather than clobber the static preamble with a bare summary.
body="$(gh pr view "$pr_url" --json body --jq .body)" || { echo "could not read PR body; keeping it."; exit 0; }
# we skip rather than clobber the static preamble with a bare summary. We go through the REST pulls
# endpoint rather than `gh pr view`/`gh pr edit`: `gh pr edit` eagerly loads org-level PR metadata
# (review-request team `slug`, assignee `login`/`name`) and fails with a `read:org` GraphQL scope
# error under SPEC_SYNC_TOKEN — a classic PAT scoped to `repo`+`workflow`. REST pull read/update
# needs only `repo`, so it works with the token we have.
rest_path="${pr_url#https://github.com/}" # <owner>/<repo>/pull/<n>
repo="${rest_path%/pull/*}" # <owner>/<repo>
num="${rest_path##*/}" # <n>
if [ "$repo" = "$rest_path" ] || ! [[ "$num" =~ ^[0-9]+$ ]]; then
echo "could not parse PR URL '$pr_url'; keeping the static body."; exit 0
fi

body="$(gh api "repos/$repo/pulls/$num" --jq '.body // ""')" || { echo "could not read PR body; keeping it."; exit 0; }
if [ -z "$body" ]; then echo "PR body empty/unreadable; keeping it."; exit 0; fi

# Avoid duplicating the section if the workflow is re-run.
Expand All @@ -62,4 +73,6 @@ if printf '%s\n' "$body" | grep -qF '## What changed'; then
exit 0
fi

printf '%s\n\n## What changed\n_AI-generated from the PR diff — verify against the actual changes._\n\n%s\n' "$body" "$summary" | gh pr edit "$pr_url" --body-file -
printf '%s\n\n## What changed\n_AI-generated from the PR diff — verify against the actual changes._\n\n%s\n' "$body" "$summary" \
| gh api --method PATCH "repos/$repo/pulls/$num" -F body=@- >/dev/null \
|| { echo "could not update PR body; keeping the static body."; exit 0; }