[MediaWiki-commits] [Gerrit] operations/puppet[production]: prometheus: add aggregation rules for ops

2016-09-15 Thread Filippo Giunchedi (Code Review)
Filippo Giunchedi has submitted this change and it was merged. Change subject: prometheus: add aggregation rules for ops .. prometheus: add aggregation rules for ops Change-Id: I1fd1ea3e590651f0259fda82340ad62e7d365545 --- A mo

[MediaWiki-commits] [Gerrit] operations/puppet[production]: prometheus: add aggregation rules for ops

2016-08-29 Thread Filippo Giunchedi (Code Review)
Filippo Giunchedi has uploaded a new change for review. https://gerrit.wikimedia.org/r/307310 Change subject: prometheus: add aggregation rules for ops .. prometheus: add aggregation rules for ops Change-Id: I1fd1ea3e590651f0