Giuseppe Lavagetto has submitted this change and it was merged. Change subject: puppet3: correct resource title for removal ......................................................................
puppet3: correct resource title for removal Change-Id: I738e91e62ceee99f6dfcb629833ed216a59088a7 Signed-off-by: Giuseppe Lavagetto <glavage...@wikimedia.org> --- M modules/apt/manifests/puppet.pp 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Giuseppe Lavagetto: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/apt/manifests/puppet.pp b/modules/apt/manifests/puppet.pp index 5230c66..acf504d 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 { $title: + apt::pin { "puppet_${title}_${version}.pref": ensure => 'absent', priority => 0, pin => 'release o=Ubuntu' -- To view, visit https://gerrit.wikimedia.org/r/137893 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I738e91e62ceee99f6dfcb629833ed216a59088a7 Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org> Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits