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

Reply via email to