3 ms·
That's looking pretty. Little bit lagging though in my browser as long as the "Real-Time Pull Requests" are not paused.
by skafoi 4y ago
That's looking pretty. Little bit lagging though in my browser as long as the "Real-Time Pull Requests" are not paused.
- daemond 4y agoMaybe we should call it Quasi-real time. We get the data from the GitHub API[1], and GitHub delays the public events feed by five minutes. So the PR you see on the page actually occurred at least five minutes ago. [1] https://docs.github.com/en/rest/activity/events#list-public-events https://docs.github.com/en/rest/activity/events#list-public-...