[MediaWiki-commits] [Gerrit] prometheus: add tools role - change (operations/puppet)

2016-07-01 Thread Yuvipanda (Code Review)
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)

2016-05-30 Thread Filippo Giunchedi (Code Review)
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