Comment by tekacs

Maybe I'm missing something really obvious, but... 3,800 repos? I guess I find it kind of surprising they have that many!