Honestly,I just picked the 10 most used ones, mirrored them for a while, and called it a day. I believe there is processes out there but you may run into Github API restrictions if you do it all at the same time (and/or without a specific token).