Hi!
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. :(
Same here. Especially if I need to browse code and/or to communicate to somebody about it - especially somebody outside MediaWiki community (which means probably not trained with tools like gerrit but most probably having some familiarity with github because who doesn't have it these days?) - I almost always use github. If we have something better, I'd use it - but right now neither gerrit, nor gitblt, nor phabricator's code browser are superior to what github offers.
Now, having something like wikimedia.github.io would be an excellent idea. If somebody would do the design, loading up repos list and displaying them with a nice structure - given that we actually have pretty structured names already, so we could start from that - should not be super-hard?