| commit | ba60979712be1a4aadb4cc5f5f55cd56c48dbed2 | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Thu Nov 05 15:38:36 2015 +0000 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Fri Nov 13 10:59:29 2015 -0800 |
| tree | 854a6c4a2973a2f5a6a5aa8e968e57d43a493e55 | |
| parent | a87f724282a1123bf8cad2a52a1248515ea80a01 [diff] |
Adds list of extra plugins available from CI Display the new plugins available for installation under the list of the ones currently installed. Plugins repository is injectable and configurable; at the moment only the Gerrit CI (gerrit-ci.gerritforge.com) is implemented. Jenkins CI URL is configured under gerri.config: [plugin "plugin-manager"] jenkinsUrl = https://myjenkins.myserver.com Change-Id: I7fc5140363700c9edc5c28da460ed8606ed73d78