@0xabad1dea That is a fuckton of repos. Unless it counts each individual fork as a distinct repo, in which case that may or may not be a fuckton of repos. Would be nice for them to clarify that, but considering their comms team doesn't even seem to have a blog to post status updates to, perhaps that's more than can be expected of, um, the largest code forge in the world.

@endrift 3800 properly distinct repos doesn’t strike me as an unlikely number if it includes every employee’s minor side project over the last 18 years