tree 23407e0a8e1995a6cd1e36d2970d469e2fddd403
parent 35b42a1b01c06d74b7d300ce6face61adc140dc1
author Luca Milanesio <luca.milanesio@gmail.com> 1561670220 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1567514989 +0100

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.

Do not even query for changes that are in v2.13, so they do
not get a Verified -1 accidentally.

Change-Id: I8c13169b904e6e56057a85c7cc086c6d6203e876