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 ori@wikimedia.org wrote:
On Tue, Apr 26, 2016 at 4:24 PM, Stas Malyshev smalyshev@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