of those 85 million how many are actually active and not just placeholder empty repos or automated mirrors for wordpress/jquery plugins? Not on anyones side here but if the top 250k repos switched, that would be really bad news. I think it's more important to compare size and popularity of the repos than just what the % is.