feat(KB-063): add realtime GitHub badge updates
- 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
This commit is contained in:
5
.changeset/websocket-badge-updates.md
Normal file
5
.changeset/websocket-badge-updates.md
Normal file
@@ -0,0 +1,5 @@
|
||||
---
|
||||
"@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.
|
||||
Reference in New Issue
Block a user