[MediaWiki-commits] [Gerrit] bots: minor lint - change (operations/puppet)
Alexandros Kosiaris has submitted this change and it was merged. Change subject: bots: minor lint .. bots: minor lint Change-Id: I2636eda8171e996ca326caa9a8ff3352b9b89bf8 --- M manifests/labs/bots/bots.pp 1 file changed, 8 inse
[MediaWiki-commits] [Gerrit] bots: minor lint - change (operations/puppet)
Matanya has uploaded a new change for review. https://gerrit.wikimedia.org/r/81 Change subject: bots: minor lint .. bots: minor lint Change-Id: I2636eda8171e996ca326caa9a8ff3352b9b89bf8 --- M manifests/labs/bots/bots.pp 1