We've finished replicating all core and extensions to Github now, as I announced yesterday. Per discussion, we're now replicating everything to the Wikimedia account to avoid confusion and duplication. The mediawiki organization was closed to avoid this confusion.
All mediawiki/* repos are now being replicated, and have the same name as in Gerrit (with the caveat that slashes "/" are changed to dashes "-" due to Github naming conventions). Please let me know if you have any problems with the replicated repositories. https://github.com/organizations/wikimedia Next step: finding a way to get pull requests back into Gerrit :) -Chad _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
