title: Cannot get https://gerrit.googlesource.com/git-repo/clone.bundle
body: <p>I tried to create a git repo with the instructions from 
  "source.android.com/source/downloading.html#installing-repo"</p>
  
  <p>but I get the following error when trying to initialize the repo in the working directory (using Ubuntu):</p>
  
  <p>:~/workdir$ repo init -u <a href="https://android.googlesource.com/a/platform/manifest" rel="noreferrer">https://android.googlesource.com/a/platform/manifest</a><br>
  fatal: Cannot get <a href="https://gerrit.googlesource.com/git-repo/clone.bundle" rel="noreferrer">https://gerrit.googlesource.com/git-repo/clone.bundle</a><br>
  fatal: error [Errno -2] Name or service not known</p>
  
  <p>I have created the ~/.netrc file with generated password and also set the HTTP_PROXY and HTTPS_PROXY variables.<br>
  When I try to access the above clone.bundle link through a browser, I get "not found" error.<br>
  Please let me know if some additional settings need to be done. Thanks in advance.</p>