tree 0c67c29b95faaa179cd8c73fbd464ed0d6df5595
parent 4970a124f51e58d28a2440c1f834836091c21ace
parent 590720dc9ff18ca2904282b4f42801981e06d826
author Luca Milanesio <luca.milanesio@gmail.com> 1551998658 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1551998658 +0000

Merge branch 'stable-2.16'

* stable-2.16:
  Format help output
  Add a TODO for further design discussions
  Add section on split brain and multi RW masters
  HTTPS using haproxy with SSL termination
  Setup gerrit local multi-site environment
  bazlets: Stop using native.git_repository

Change-Id: Idb6db6902f9da88bd274e6162af563926d892d66