tree 3cba33819560c5ece3b611e46e0995c49cdd431b
parent 76c51c6f30e631cd170be46c616163faa1517e2a
author Luca Milanesio <luca.milanesio@gmail.com> 1541669796 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1556658086 +0100

Stop building on Gerrit v2.10/v2.11/v2.12

Do not build anymore Gerrit and its plugins on v2.10/v2.11/v2.12
which are mostly obsolete and not supported anymore by the community.

This allows to save disk space on Gerrit-CI and get rid completely
of Java 7.

Change-Id: I3359120941cd98dc7944813fce35c1149eac481a