2013-03-15 - production
17:36	<hashar>	jenkins: updated jenkins configuration to have its URL default to wikimedia.org domain instead of the legacy mediawiki.org	[production]