Fix #530: PROut.merged flag #534
No reviewers
Labels
No labels
actions
bug
cli
duplicate
enhancement
fork
forum
git storage
help wanted
insights
invalid
issues
moderation
oidc
ownership transfer
packages
pr/merge protection rules
projects
pull requests
question
releases
sponsorships
tags
webhooks
wiki
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
crueber/walhub!534
Loading…
Reference in a new issue
No description provided.
Delete branch "fix/issue-530"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Fixes #530: the pulls list could not render a merged chip — PROut carried no merged field. Adds additive always-present
mergedto PROut, populated from the per-row pr.json sidecar ListPRs already reads (zero new round trips); Pulls.jsx renders chip-merged via pullListChip. Tests: internal/pulls -race pass, coverage 96.1%, node 1216/1217 (1 pre-existing smoke fail vs live :8080), vite+esbuild ok. Decision appended to docs/features/03_pull_requests.md.