title: How to clone from github from behind corporate proxy
body: <p>I am behind a corporate proxy that is pretty annoying:</p>
  
  <ol>
  <li>The actual proxy address used is determined by a script</li>
  <li>It requires authentication</li>
  <li>It <em>replaces</em> the certificates of web pages using HTTPS</li>
  </ol>
  
  <p>How to successfully clone a github repository in this scenario?</p>