Howto use Git/GitHub and ssh proxy/tunnel at zhenglab.