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