On Tue, Apr 26, 2016 at 5:24 PM, Stas Malyshev smalyshev@wikimedia.org wrote:
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.
The Wikimedia GitHub project gives me two things in one place that I don't get elsewhere: * Find a repo based on some partial name I remember it probably has using the "Find a repository..." filtering at https://github.com/wikimedia/ * Search all the things at once using https://github.com/search?q=org:wikimedia
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?
github.io pages are static html from the gh-pages branch of some repository. They can use javascript and connect to the github api however, so it might be possible to build a useful browser interface that filtered based on the '-' separated name components. You could at least setup really broad categories like "Extensions", "Skins", "Operations", "...". The "other" bucket of that interface would still be pretty big however since we have been creating a lot of "un-namespaced" repos in the last year or two. That change started happening when the migration off of Gerrit was deemed an eventuality as the organization of repos in Gerrit is not very friendly to other hosting platforms.
Bryan