Fix #517: PR Close/Reopen #523
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!523
Loading…
Reference in a new issue
No description provided.
Delete branch "fix/issue-517"
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?
Pure client wiring for PR Close/Reopen with the issue-page state badge convention — no backend change (UpdatePR + repo.pulls.update already exist).
What it does (acceptance-mapped):
Files: web/src/lib/pull-state.js (new pure helpers) + web/test/unit/pull-state-517.test.js (8 tests), web/src/pages/Pull.jsx (badge header + handlers + composer wiring), web/src/lib/data.js (invalidatePullLists), web/src/ui.css (chip-merged), docs/features/03_pull_requests.md (Decisions entry, law 12).
Verification: node --test full unit suite 1159 pass / 0 fail / 3 smoke-skipped (smoke needs a live server; an ambient :8080 occupier flaked one smoke assertion transiently — untouched per instructions); vite + esbuild builds green, new strings confirmed in dist bundle. No new deps. Mobile: header/composer rows are flex-wrap (issue-page pattern), reasoning-only check — shared browser daemon blocks loopback so no live browser drive.