title: pull command error : Failed connect to github.com:8080
body: <p>I tried to pull repository so that I can merge the changes made to my repository.<br>
  But while using the pull command it gives following error:</p>
  
  <pre><code>$ git pull https://github.com/ShrutiRuparel/depot.git master
  error: Failed connect to github.com:8080; 
  No error while accessing https://github.com/ShrutiRuparel/depot.git/info/refs
  
  fatal: HTTP request failed
  </code></pre>
  
  <p>I tried setting the http proxy but no change.<br>
  <code>push</code> command worked perfectly fine but error with <code>pull</code> command.<br>
  Any suggestions?</p>