[MediaWiki-commits] [Gerrit] operations/puppet[production]: conftool-data: purge the old directories
Giuseppe Lavagetto has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/340099 ) Change subject: conftool-data: purge the old directories .. conftool-data: purge the old directories Change-Id: I43b87c0
[MediaWiki-commits] [Gerrit] operations/puppet[production]: conftool-data: purge the old directories
Giuseppe Lavagetto has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/340099 ) Change subject: conftool-data: purge the old directories .. conftool-data: purge the old directories Change-Id: I43b87c010e017fd