
This commit adds jenkins::plugin which can be used to install jenkins plugins. I used it to install gearman just today: jenkins::plugin { 'gearman-plugin': version => '0.0.3', } Note: this code is borrowed from: https://github.com/jenkinsci/puppet-jenkins/blob/master/manifests/plugin.pp which is apache licensed. Change-Id: Ifd3f6452839db990357f14665f14aa839ec2d0c5