Jimmy-Xu/ssh_config

Forked from rbenaley/ssh_config

Created April 16, 2019 05:33

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/Jimmy-Xu/2729c40b917d8d37a0590218eff02e1a.js"></script>
Save Jimmy-Xu/2729c40b917d8d37a0590218eff02e1a to your computer and use it in GitHub Desktop.

Download ZIP

GitHub ssh access via HTTP Proxy

Raw

	host github.com
	user git
	hostname ssh.github.com
	port 443
	proxycommand socat - PROXY:<hostname>:%h:%p,proxyport=<port>

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment