tree 3494bc017e1e5db69460c1cc24a71031e7a8d136
parent 3e5cbdead3c77a0810709f2661c636a992d9ca34
author Luca Milanesio <luca.milanesio@gmail.com> 1529612435 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1531513080 +0000

Build high-availability plugin on GitHub for stable-2.15

The stable-2.15 branch is functionally broken on gerrit-review
because the inability to safely align change index post NoteDb
migration.

A series of changes is currently under review. However, until
they are merged, it is safer to provide to the Gerrit Community
an implementation that is tested and is working in production
for Gerrit v2.15.x/NoteDb.

Change-Id: I8508e2b8000cb82d326824cfcd93e8cb73beef90