Fix #527: drop reporting link #538
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!538
Loading…
Reference in a new issue
No description provided.
Delete branch "fix/issue-527"
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?
Removes the #505 reporting-API pointer from the repo header meta line (web/src/pages/Repo.jsx) — meta line is branches · tags only, including on check-less repos. Discoverability for check-less repos lives in Settings → CI tokens; the Checks toolbar link, #505 tab hide/reappear behavior, and wire/cache are untouched. Headless: node --test 1223 total / 1222 pass / 1 pre-existing live-server smoke fail (verified head-to-head on pristine main); vite + esbuild green. Law-12: 12_web_ui.md Decisions entry + 07_api.md stale-pointer sentence updated. No backend change, no new deps. Browser proof open (shared-daemon loopback guard — no private daemon per workspace rules). Fixes #527.
e2369c8beato4c50feea2c