Use HTTP to clone from github (which goes well through the proxy).