Giuseppe Lavagetto has submitted this change and it was merged.
Change subject: puppet3: remove 2.7 prefs, not the actual ones
......................................................................
puppet3: remove 2.7 prefs, not the actual ones
Change-Id: I765711ae849afef0dc29b1b5ca9959890b205d99
---
M modules/apt/manifests/puppet.pp
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Giuseppe Lavagetto: Verified; Looks good to me, approved
diff --git a/modules/apt/manifests/puppet.pp b/modules/apt/manifests/puppet.pp
index acf504d..3fa8e42 100644
--- a/modules/apt/manifests/puppet.pp
+++ b/modules/apt/manifests/puppet.pp
@@ -25,7 +25,7 @@
} elsif $::lsbdistcodename == 'precise' {
# Ensure the pref file is not there in this case,
# so that puppet gets updated.
- apt::pin { "puppet_${title}_${version}.pref":
+ apt::pin { "puppet_${title}_2.7.pref":
ensure => 'absent',
priority => 0,
pin => 'release o=Ubuntu'
--
To view, visit https://gerrit.wikimedia.org/r/137895
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I765711ae849afef0dc29b1b5ca9959890b205d99
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
