Branch: refs/heads/master Home: https://github.com/jenkinsci/puppet-jenkins Commit: f8ddab126c89633d5e65e73cfc2d44ee4b533ea6 https://github.com/jenkinsci/puppet-jenkins/commit/f8ddab126c89633d5e65e73cfc2d44ee4b533ea6 Author: Jan Brauer <j...@jimdo.com> Date: 2014-09-26 (Fri, 26 Sep 2014)
Changed paths: M manifests/plugin.pp M spec/defines/jenkins_plugin_spec.rb Log Message: ----------- Fix installation of core plugins This prevents the 'plugin.jpi.pinned' file from being deleted. Commit: e5ab7b7c86a445403d7bb3711ce16ea70f1a90d1 https://github.com/jenkinsci/puppet-jenkins/commit/e5ab7b7c86a445403d7bb3711ce16ea70f1a90d1 Author: R. Tyler Croy <ty...@monkeypox.org> Date: 2014-09-26 (Fri, 26 Sep 2014) Changed paths: M manifests/plugin.pp M spec/defines/jenkins_plugin_spec.rb Log Message: ----------- Merge pull request #188 from Jimdo/fix-installation-of-core-plugins Fix installation of core plugins Compare: https://github.com/jenkinsci/puppet-jenkins/compare/7493b9d14a2d...e5ab7b7c86a4 -- You received this message because you are subscribed to the Google Groups "Jenkins Commits" group. To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-commits+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.