On Thu, 01 Nov 2012 12:42:24 -0700, Chad innocentkiller@gmail.com wrote:
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).
;) you mean naming "limitations".
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