tree aceafb678fb1d5caf1f8df62d224fc7ef06cc794
parent b10cbe4e1abb5ffb0c575cf651b1eb46a2358570
author Luca Milanesio <luca.milanesio@gmail.com> 1643377060 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1643398599 +0000

Auto-reload the indexTs file for auto-reindexing

The indexTs file under $GERRIT_SITE/data/high-availability/<index>
was not auto-reloaded making the auto-reindex functionality not
useful.

Use the JGit's FileSnapshot features to automatically detect changes
to the underlying indexTs file and use the new value for delta
reindexing.

Bug: Issue 15632
Change-Id: I3dcf7a6ade2286f684b289ed0994acdf86bd6362