tree 85223116058c109f2e31d6eef49271ee5396f1d7
parent 64de7afe3201135309abefdf5dbc4e181ff3ce2a
author Serge Bazanski <q3k@hackerspace.pl> 1616094938 +0000
committer q3k <q3k@hackerspace.pl> 1616097093 +0000

devtools/gerrit: backport reviewiers column fix to 3.3.2

Gerrit 3.3.1 seems to have introduced a bug which makes the reviewers
column in the dashboard entry: https://bugs.chromium.org/p/gerrit/issues/detail?id=13899

This adds an override of gerrit.war to our Docker containers. The .war
is pulled over HTTP. It has been manually built by q3k from a source
checkout. The details on how this was done are in the WORKSPACE
http_file archive.

Once 3.3.3 lands we should get rid of it.

Change-Id: I8b64103cb87d8b185ff35165695a18cb19fea523