tree 00b5693431463b1c93fab96f1fa6b6702a19fcd9
parent 420d40a304b2029a4e36c88e463020131fafd77c
author Luca Milanesio <luca.milanesio@gmail.com> 1559917175 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1560376868 +0000

Use bazelisk for gerrit and plugins builds

Bazelisk allows to automatically switch between bazel versions
using the .bazelversion file on the Gerrit home folder.

Change-Id: Ie1bdae2a2f350e900cb666b8e5b8d0ee42c15a4a