Hacker News new | ask | show | jobs
by skafoi 1376 days ago
That's looking pretty. Little bit lagging though in my browser as long as the "Real-Time Pull Requests" are not paused.
1 comments
daemond 1375 days ago
Maybe 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-...

link