Until recently when I opened the developer tool on a GitHub page I could see an open listening websocket receiving the news for an issue page or a code change or something else real-time.
Today I can't find any websocket connection anymore or SSE calls.
What are they using now for real-time updates or events?