title: How to convert `git:` urls to `http:` urls
body: <p>I'm working behind an http proxy. I'm trying to clone Android's source tree using their "repo" tool. </p>
  
  <p>This tool insists on using <code>git://</code> URLs, even though <code>http://</code> URLs also work. As a result, I can't download the source.</p>
  
  <p>Is it possible to force <code>git</code> to always use <code>http</code>?</p>
  
  <p><strong><em>Edit:</em></strong> my http_proxy is configured correctly. For example, this works:</p>
  
  <pre><code>git clone http://android.git.kernel.org/platform/manifest.git
  </code></pre>
  
  <p>But this doesn't (errno=Connection timed out):</p>
  
  <pre><code>git clone git://android.git.kernel.org/platform/manifest.git
  </code></pre>
  
  <p>So <a href="https://stackoverflow.com/questions/128035/how-do-i-pull-from-a-git-repository-through-an-http-proxy/397642#397642">this answer</a> does not really help me.</p>