To be fair, that was 8 years ago. Github now has all that days and users + 8 years of data and users.