Filippo Giunchedi has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/373284 )
Change subject: role: fix prometheus global collection regexp
......................................................................
role: fix prometheus global collection regexp
Change-Id: If3149f05fe11ee29230124e089ee8663b7c8dc0e
---
M modules/role/manifests/prometheus/global.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Filippo Giunchedi: Looks good to me, approved
diff --git a/modules/role/manifests/prometheus/global.pp
b/modules/role/manifests/prometheus/global.pp
index 8522ec3..e2d9fcd 100644
--- a/modules/role/manifests/prometheus/global.pp
+++ b/modules/role/manifests/prometheus/global.pp
@@ -32,7 +32,7 @@
'{__name__=~"^.*:memcached_.*"}',
'{__name__=~"^.*:varnish_.*"}',
# blackbox_exporter probes results
- '{__name__=~"^probe_"}',
+ '{__name__=~"^probe_.*"}',
],
},
'static_configs' => [
--
To view, visit https://gerrit.wikimedia.org/r/373284
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: If3149f05fe11ee29230124e089ee8663b7c8dc0e
Gerrit-PatchSet: 2
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
