How to use GitHub through ssh proxy/tunnel (in Chinese).