title: Git http.proxy Setting
body: <p>I was trying to figure this git thing out and at one moment I messed with the http.proxy variable. Right now it's just nonsense, 'asdf' so pushing doesn't work. I don't know what the proxy setting was before (I don't even know what proxy server is). Any way to set http.proxy to the correct value?</p>
  
  <p>Right now the error is: "Couldn't resolve proxy 'asdf' while accessing ... fatal: HTTP request failed.</p>