tree 854a6c4a2973a2f5a6a5aa8e968e57d43a493e55
parent a87f724282a1123bf8cad2a52a1248515ea80a01
author Luca Milanesio <luca.milanesio@gmail.com> 1446737916 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1447441169 -0800

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