eclipse.git.gerrit.remoteURIs Platform UA Git or Gerrit Repository remoteURI Platform UA The Platform UA support