2012-06-27 - production
15:08	<Reedy>	ExtensionDistributor now works from git on mediawiki.org	[production]