Christian Aistleitner 8db58c8fc2 Report the index state after re-indexing ...

If indexing goes wrong, the failure is typically logged. But we do
not explicitly say when re-indexing gave a ready index. One has
to resort to double-checking `index/gerrit_index.config` the index
state after every re-index. So, we now explicitly report the index
state after re-indexing.

Change-Id: Idbf8c728a33e2753ee7528dc76f6095f407d3a05

2020-06-14 16:31:21 +02:00

..

google

Report the index state after re-indexing

2020-06-14 16:31:21 +02:00