git pull/push to github.com in proxy environment install connect-proxy (connect command) "$ sudo aptitude install connect-proxy" write settings in ~/.ssh/config use 'ssh.github.com:443' if proxy server denies connecting to 22 port (squid (…