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]