As mentioned before Github's interface for searching, browsing, reading and linking to code is great, so it would be great to keep the mirrors. An option could be moving them to another organization, like wikimedia-mirrors maybe.
Another very nice feature in the mirror repos IMO is the graphs tab. For example https://github.com/wikimedia/mediawiki/graphs/contributors On Wed, Apr 27, 2016 at 4:09 AM, Ori Livneh <o...@wikimedia.org> wrote: > On Tue, Apr 26, 2016 at 4:24 PM, Stas Malyshev <smalys...@wikimedia.org> > wrote: > > > 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? > > > > I've pitched this idea before (to your team, no less :P). I'm not sure what > came out of it. Maybe Julien or Moiz can say. My suggestion was to take > http://twitter.github.io/ as a starting-point; the source code for that is > Apache-licensed (https://github.com/twitter/twitter.github.com). > _______________________________________________ > Wikitech-l mailing list > Wikitech-l@lists.wikimedia.org > https://lists.wikimedia.org/mailman/listinfo/wikitech-l > _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l
