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
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?
Thanks for keeping working on the Gerrit / GitHub mirroring!
-- Quim
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
On 10/31/2012 09:28 AM, Chad wrote:
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 :)
After all I heard at the WMF AllHands and in this list, I wonder whether it makes sense to keep this division in GitHub, when it doesn't exist in Gerrit, and you can find WMF and non-WMF developers in both sides.
-- Quim
Keep it simple. Just put it into one place.
--tomasz
On Wed, Oct 31, 2012 at 9:51 AM, Quim Gil quimgil@gmail.com wrote:
On 10/31/2012 09:28 AM, Chad wrote:
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 :)
After all I heard at the WMF AllHands and in this list, I wonder whether it makes sense to keep this division in GitHub, when it doesn't exist in Gerrit, and you can find WMF and non-WMF developers in both sides.
-- Quim
______________________________**_________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/**mailman/listinfo/wikitech-lhttps://lists.wikimedia.org/mailman/listinfo/wikitech-l
wikitech-l@lists.wikimedia.org