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

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-events https://docs.github.com/en/rest/activity/events#list-public-...