2018-12-21 - releng
11:17	<hashar>	new doc job is https://integration.wikimedia.org/ci/job/publish-to-doc1001/ and runs just after https://integration.wikimedia.org/ci/job/publish-on-contint1001/	[releng]