On 2016-04-25 19:01, Chad wrote:
Honestly, I'm not entirely convinced that "mirror everything" is all that useful. It mostly results in a ton of unused repos cluttering up lists.
I, for one, appreciate it. GitHub's interface is unfortunately a lot more convenient than any of the repository viewers we host ourselves. :( And fairly often I need to give somebody a link to a code snippet in one of our repos.