Filippo Giunchedi has uploaded a new change for review.
https://gerrit.wikimedia.org/r/192543
Change subject: deployment: true vs 'true'
......................................................................
deployment: true vs 'true'
only one true way to do things
Change-Id: I19b4dffdc863b2c8f6a754700d4199e974165e52
---
M manifests/role/deployment.pp
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/43/192543/1
diff --git a/manifests/role/deployment.pp b/manifests/role/deployment.pp
index b9610a0..6f1e383 100644
--- a/manifests/role/deployment.pp
+++ b/manifests/role/deployment.pp
@@ -115,7 +115,7 @@
'checkout_submodules' => true,
},
'dropwizard/metrics' => {
- 'gitfat_enabled' => 'true',
+ 'gitfat_enabled' => true,
'upstream' =>
'https://gerrit.wikimedia.org/r/operations/software/dropwizard-metrics',
},
}
--
To view, visit https://gerrit.wikimedia.org/r/192543
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I19b4dffdc863b2c8f6a754700d4199e974165e52
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <fgiunch...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
