Merge branch 'stable-3.2' into stable-3.3

* stable-3.2:
  Doc: make explicit that remoteNameStyle is for non-Gerrit repos
  Doc: remoteNameStyle might result in a repo name clashes

Change-Id: I32d598a36fe20c469528eca8d4c10d8775f7a3c4
tree: 7edb537c08cc5798865f81a510389179cd21f89c
  1. .settings/
  2. src/
  3. .gitignore
  4. .mailmap
  5. BUILD
  6. LICENSE