How to use Git/GitHub and ssh proxy/tunnel in zhenglab.