Does anyone knows what Github use to detect new commit on the PR page? Like when we push new commit, the page gonna have a “refresh” button on it. Is it websocket?
Does anyone knows what Github use to detect new commit on the PR page? Like when we push new commit, the page gonna have a “refresh” button on it. Is it websocket?