Expand description
Real-time WebSocket API for live updates.
This module provides WebSocket endpoints for real-time communication:
/ws- Main WebSocket endpoint for real-time updates/api/realtime/stats- Statistics about real-time connections
§WebSocket Protocol
Clients can subscribe to channels to receive real-time events:
// Subscribe to a repository
{"type": "subscribe", "channel": "repo:owner/name"}
// Unsubscribe from a channel
{"type": "unsubscribe", "channel": "repo:owner/name"}
// Ping for keepalive
{"type": "ping"}Functions§
- realtime_
routes - Create the real-time API routes.