tree 657db5b0c7fb813c53b0e67082d6a7177f022397
parent 4f25534bbd9c44011b6c1cc88e9655e90a7651d4
author Luca Milanesio <luca.milanesio@gmail.com> 1498109701 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1498109703 +0100

Don't build gitblit on Gerrit 2.13

GitBlit's Lucene version isn't compatible with the
one in Gerrit 2.13. Even if it builds correctly, it
would never work.

Having a binary available on the CI would be misleading
people in trying to use it.

Change-Id: I87778c648f6a01d3a71e0ae48441f26076e5c446