- Add a focused GitHub badge poller with shared rate-limit, freshness, and cleanup handling - Wire a dedicated badge websocket server and routes to stream PR and issue badge snapshots - Add a shared useBadgeWebSocket hook and update TaskCard to subscribe only when visible while preserving partial badge state - Cover polling, websocket, and task card flows with tests and document the realtime badge channel
239 B
239 B
@dustinbyrne/kb
| @dustinbyrne/kb |
|---|
| minor |
Add real-time WebSocket updates for GitHub PR and issue badges. Badges now update immediately when PR/issue status changes on GitHub, replacing the 5-minute polling delay for active dashboard subscribers.