I agree, but I have no idea how to get that information out of github, aside from perhaps iterating over every project there. I think it would be cool if they

I agree, but I have no idea how to get that information out of github, aside from perhaps iterating over every project there. I think it would be cool if they made some aggregate data like that available though. =)