2017-09-29 - releng
09:10	<addshore>	wm-ci-docker-push mediawiki-phpcs:v2017.09.29.09.08 & latest https://gerrit.wikimedia.org/r/381413	[releng]