Filippo Giunchedi has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/372826 )
Change subject: role: explicit cluster label for thumbor
......................................................................
role: explicit cluster label for thumbor
Bug: T151554
Change-Id: I36eb87f2b1f2711e3365eaff6d238469ad6805b4
---
M modules/role/manifests/prometheus/ops.pp
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Filippo Giunchedi: Looks good to me, approved
diff --git a/modules/role/manifests/prometheus/ops.pp
b/modules/role/manifests/prometheus/ops.pp
index ff7cd90..015c8c3 100644
--- a/modules/role/manifests/prometheus/ops.pp
+++ b/modules/role/manifests/prometheus/ops.pp
@@ -334,7 +334,9 @@
site => $::site,
cluster => 'thumbor',
port => 8800,
- labels => {},
+ labels => {
+ 'cluster' => 'thumbor'
+ },
}
prometheus::server { 'ops':
--
To view, visit https://gerrit.wikimedia.org/r/372826
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I36eb87f2b1f2711e3365eaff6d238469ad6805b4
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
