tree ec05cdd3902460c37b7311b0d909c7f3a6de77e8
parent 480ae4306201de2e13ca9a7540a45946991cfaa3
author Luca Milanesio <luca.milanesio@gmail.com> 1557398476 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1557398476 +0100

Do not explicitly download plugin-manager

Plugin-manager is included by default in the core Gerrit distribution
and does not need anymore to be downloaded from the CI.

Change-Id: I953e6b70f3fa43629ccfe8e320c99853b4cbc824