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