Filippo Giunchedi has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/354975 )
Change subject: role: set external url for prometheus beta/tools
......................................................................
role: set external url for prometheus beta/tools
Change-Id: Ica23dfc02372b0428a645eef69d2f27e19262244
---
M modules/role/manifests/prometheus/beta.pp
M modules/role/manifests/prometheus/tools.pp
2 files changed, 2 insertions(+), 0 deletions(-)
Approvals:
jenkins-bot: Verified
Filippo Giunchedi: Looks good to me, approved
diff --git a/modules/role/manifests/prometheus/beta.pp
b/modules/role/manifests/prometheus/beta.pp
index b96f143..f5de88d 100644
--- a/modules/role/manifests/prometheus/beta.pp
+++ b/modules/role/manifests/prometheus/beta.pp
@@ -66,6 +66,7 @@
prometheus::server { 'beta':
listen_address => '127.0.0.1:9903',
+ external_url => 'https://beta-prometheus.wmflabs.org/beta',
scrape_configs_extra => array_concat($varnish_jobs, $mysql_jobs,
$web_jobs,
$cassandra_jobs),
}
diff --git a/modules/role/manifests/prometheus/tools.pp
b/modules/role/manifests/prometheus/tools.pp
index a66e50b..e4ff985 100644
--- a/modules/role/manifests/prometheus/tools.pp
+++ b/modules/role/manifests/prometheus/tools.pp
@@ -14,6 +14,7 @@
prometheus::server { 'tools':
listen_address => '127.0.0.1:9902',
+ external_url => 'https://tools-prometheus.wmflabs.org/tools',
scrape_configs_extra => [
{
'job_name' => 'k8s-api',
--
To view, visit https://gerrit.wikimedia.org/r/354975
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ica23dfc02372b0428a645eef69d2f27e19262244
Gerrit-PatchSet: 11
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits