Merge branch 'stable-3.3' into stable-3.4

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

Change-Id: I1b2e9c5fd408b8f8bd1a3ef3104182c6f6474559
tree: 54948140eb2c4d1b25af808c72237b8eef94b2a3
  1. .settings/
  2. src/
  3. .gitignore
  4. .mailmap
  5. BUILD
  6. LICENSE