Filippo Giunchedi has submitted this change and it was merged.
Change subject: mwprof: Convert to package<|provider==trebuchet|>
......................................................................
mwprof: Convert to package<|provider==trebuchet|>
The deployment::target resource has been deprecated in favor of
Trebuchet's custom provider.
Change-Id: Ic13504f6d763d2f6b9bda35a70abef9dc5ade5a3
---
M modules/mwprof/manifests/init.pp
1 file changed, 3 insertions(+), 1 deletion(-)
Approvals:
Filippo Giunchedi: Verified; Looks good to me, approved
diff --git a/modules/mwprof/manifests/init.pp b/modules/mwprof/manifests/init.pp
index 5b5a0a9..8d1d652 100644
--- a/modules/mwprof/manifests/init.pp
+++ b/modules/mwprof/manifests/init.pp
@@ -11,7 +11,9 @@
description => 'MediaWiki profiler',
}
- deployment::target { 'mwprof': }
+ package { 'mwprof/mwprof':
+ provider => 'trebuchet',
+ }
package { [ 'build-essential', 'libglib2.0-dev', 'glib-networking' ]: }
--
To view, visit https://gerrit.wikimedia.org/r/163372
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic13504f6d763d2f6b9bda35a70abef9dc5ade5a3
Gerrit-PatchSet: 4
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: BryanDavis <bda...@wikimedia.org>
Gerrit-Reviewer: ArielGlenn <ar...@wikimedia.org>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Faidon Liambotis <fai...@wikimedia.org>
Gerrit-Reviewer: Filippo Giunchedi <fgiunch...@wikimedia.org>
Gerrit-Reviewer: Ori.livneh <o...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
