On Mon, Apr 25, 2016 at 7:33 PM, Bartosz Dziewoński matma.rex@gmail.com wrote:
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.
+1, it's very convenient for linking to code, or even just looking code up for something that's not locally installed. Gitblit can take several seconds per page view, and the Phabricator repo browser interface is one of the sadder components of that software.
If we truly care about repo discoverability on github, using Github Pages is probably a better option than trying to filter out unused ones (and still ending up with an unmanageably large list).