On Wed, Oct 31, 2012 at 11:58 AM, Quim Gil <[email protected]> wrote: > On 10/31/2012 04:42 AM, Chad wrote: >> >> Extensions are now live on Github as well. > > > Ah, under here: https://github.com/mediawiki > > Are these all the extension in Gerrit? I'm just trying to keep some > consistency with our listing of extensions at > https://www.ohloh.net/p/mediawiki-extensions-wmf & > https://www.ohloh.net/p/mediawiki-extensions-wmf-hosted >
Yes, these are all the extensions that are in Gerrit. They're automatically replicated. > And I just now noticed that MediaWiki is not listed under > https://github.com/wikimedia > > Is this just a miss or is there a deeper reason? > We should probably fix up both organization pages to point to the other. The plan I've had is to make wikimedia/* for our WMF-specific stuff, and mediawiki/* for...MediaWiki stuff :) -Chad _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
