On Mon, Apr 25, 2016 at 11:34 PM, Antoine Musso <hashar+...@free.fr> wrote:
> https://github.com/wikimedia/ is surely a mess. If GitHub had a way to > flag a repo as being a mirror, they could be filtered out easily (maybe > one can fill a feature request to them). > Github's repo lists are in general not very helpful. If we filter out all the mirrors, the rest might be of a manageable size, but then most people are probably interested in one of the mirrored projects (MediaWiki, or some popular extension). If we really care, we should use Github Pages like other orgs do, e.g. http://microsoft.github.io/ http://yelp.github.io/ http://esri.github.io/ _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l
