tree 772ef364c167080c5342e13d33af6a3be1e2590b
parent a9d45bd4e3d06684455272c8b6fa6a95c49d31f1
author Luca Milanesio <luca.milanesio@gmail.com> 1561670220 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1567513688 +0000

Remove Gerrit v2.13, plugins and Buck builds

Gerrit v2.13 is now officially unsupported and it is time
to remove the historical plugin builds and support for Buck
builds altogether.

Change-Id: I08825d111195ae7ab4d24f8fd4b7dff82bd1e0e7