jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/392926 )
Change subject: dib: contint::hhvm is now a profile
......................................................................
dib: contint::hhvm is now a profile
Change-Id: Id2d2a6cc6e235bb1f9fd5afefaa9ab2c9b3abc86
Depends-On: I66b2a0e2f698f6e1fd095a90532bd6e4b16eb4eb
---
M dib/puppet/ciimage.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/dib/puppet/ciimage.pp b/dib/puppet/ciimage.pp
index e1679d2..78623f6 100644
--- a/dib/puppet/ciimage.pp
+++ b/dib/puppet/ciimage.pp
@@ -30,7 +30,7 @@
package { 'cron':
ensure => present,
}
-class { '::contint::hhvm':
+class { '::profile::ci::hhvm':
require => Package['cron'],
}
--
To view, visit https://gerrit.wikimedia.org/r/392926
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id2d2a6cc6e235bb1f9fd5afefaa9ab2c9b3abc86
Gerrit-PatchSet: 3
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
