[MediaWiki-commits] [Gerrit] prometheus: add tools role - change (operations/puppet)
Yuvipanda has submitted this change and it was merged. Change subject: prometheus: add tools role .. prometheus: add tools role Change-Id: Ia5e1c50a64268422b5aabeffdf8ba23ca5f8b247 --- A modules/role/manifests/prometheus/tools.
[MediaWiki-commits] [Gerrit] prometheus: add tools role - change (operations/puppet)
Filippo Giunchedi has uploaded a new change for review. https://gerrit.wikimedia.org/r/291710 Change subject: prometheus: add tools role .. prometheus: add tools role Change-Id: Ia5e1c50a64268422b5aabeffdf8ba23ca5f8b247 --- A