On Thu, 01 Nov 2012 12:42:24 -0700, Chad <innocentkiller(a)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
--
~Daniel Friesen (Dantman, Nadir-Seen-Fire) [
http://daniel.friesen.name]