GitHub uses websocket connections to auto-refresh changes on pull requests, but the sockets are not created in the PR’s browsing context, but in shared web workers. https://stackoverflow.com/questions/64665510/how-does-github-instantly-update-its-web-interface https://developer.mozilla.org/en-US/docs/Web/API/SharedWorker