2013-04-17 - production
13:03	<hashar>	jenkins: refreshing job mediawiki-core-phpcs-HEAD (points to a wrong git repo path)	[production]