On Wed, Oct 31, 2012 at 11:58 AM, Quim Gil <quimgil(a)gmail.com> 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