wsdjeg/ssh_config

Forked from rbenaley/ssh_config

Created July 13, 2018 12:27

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/wsdjeg/6fba942b40a0904c6e4a9c8fe763a44b.js"></script>
Save wsdjeg/6fba942b40a0904c6e4a9c8fe763a44b 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