tree b01d89fa38e07483f79055dc87b8a7a01706d427
parent 6d58538dd1ae158efef7518c215a7fde77883360
author Luca Milanesio <luca.milanesio@gmail.com> 1557408604 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1557478371 +0000

Stop building plugin-manager for Gerrit >= v3.0

plugin-manager is a core-plugin from v3.0 onwards.
It does not need to be built anymore as a separate project.

Builds for any version <= v2.16 will stay on Gerrit-CI.

Change-Id: If2194f2536f362da4faf31957163c5b8e0ee5fad