2017-11-29 - releng
03:23	<Krinkle>	Jenkins jobs for mediawiki-core-php55lint consistently failing on integration-slave-jessie ("git: stderr: error: failed to write..")	[releng]