3 ms·

I think that the GitHub repos are a copy of their internal VCS that aren't necessarily updated frequently.