2018-10-26 - releng
09:04	<hashar>	jenkins: update IRC config at https://integration.wikimedia.org/ci/configure to replace #wikimedia-ri-ci by #wikimedia-infrastructure ( https://gerrit.wikimedia.org/r/#/c/integration/config/+/469034/ )	[releng]