Filippo Giunchedi has submitted this change and it was merged. Change subject: trebuchet: install git-fat on debian too ......................................................................
trebuchet: install git-fat on debian too Change-Id: I9a216969a9d02ec37edd1a0a2e0750247180d2d3 --- M modules/trebuchet/manifests/packages.pp 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Yuvipanda: Looks good to me, but someone else must approve Filippo Giunchedi: Verified; Looks good to me, approved jenkins-bot: Verified diff --git a/modules/trebuchet/manifests/packages.pp b/modules/trebuchet/manifests/packages.pp index 41d9373..8447ade 100644 --- a/modules/trebuchet/manifests/packages.pp +++ b/modules/trebuchet/manifests/packages.pp @@ -5,7 +5,7 @@ class trebuchet::packages { include ::redis::client::python - if os_version('ubuntu > lucid') { + if os_version('ubuntu > lucid') or os_version('debian >= jessie') { package { 'git-fat': ensure => present, } -- To view, visit https://gerrit.wikimedia.org/r/192549 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9a216969a9d02ec37edd1a0a2e0750247180d2d3 Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Filippo Giunchedi <fgiunch...@wikimedia.org> Gerrit-Reviewer: Filippo Giunchedi <fgiunch...@wikimedia.org> Gerrit-Reviewer: Yuvipanda <yuvipa...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits