Snippet #580

GitHub is now hosting more than a million repos. About 60% of these are actual project repos (I wonder how many are mere forks or mirrors, though) and the rest are non-project repos (eg. things like Gists, which each have a repo backing them).