On Wed, Oct 31, 2012 at 11:58 AM, Quim Gil quimgil@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