I'd guess that is has low priority on Github's build pipeline to update pages and there's probably some server-side caching on top. "Tens of minutes" doesn't sound problematic, though.
Not a member of The Register?
Create a new account
Remember me on this computer?
The Register - Independent news and views for the tech community. Part of Situation Publishing
Biting the hand that feeds IT © 1998–2021