| commit | 76031799769aa3a197a34c5638a23cd5cf596b46 | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Thu Jun 21 21:20:35 2018 +0100 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Fri Jul 13 20:18:00 2018 +0000 |
| tree | 3494bc017e1e5db69460c1cc24a71031e7a8d136 | |
| parent | 3e5cbdead3c77a0810709f2661c636a992d9ca34 [diff] |
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