Как настроить штопор для подключения к Github через Draconian Proxy

В моей компании есть драконовский прокси-сервер, который не позволяет мне использовать SSHing для удаления серверов, и поэтому не позволяет мне использовать github. Я провел последний день после следующих примеров в Интернете, таких как

Как я могу использовать GitHub через жесткие прокси?http://tachang.tumblr.com/post/22265579539/using-github-through-draconian-proxies-windows-and

Но, похоже, ничего не работает. Вот мой файл ~ / .ssh / config:

ProxyCommand /usr/local/bin/corkscrew proxy02.COMPANY_NAME.com 8080 %h %p

Host github.com
User git
Port 22
Hostname github.com
IdentityFile "/Users/msnider/.ssh/id_rsa"
IdentitiesOnly yes
TCPKeepAlive yes

Host ssh.github.com
User git
Port 443
Hostname ssh.github.com
IdentityFile "/Users/msnider/.ssh/id_rsa"
IdentitiesOnly yes
TCPKeepAlive yes

Это сообщение об ошибке, которое я получаю при попытке:git pull --rebase

Proxy could not open connnection to github.com:  Forbidden
ssh_exchange_identification: Connection closed by remote host
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

Я получаю ту же запрещенную ошибку, когда просто пытаюсь подключиться по SSH к github.com, но могу указать ssh на ssh.github.com, если укажу свою личность:

ssh -i ~/.ssh/id_rsa [email protected]
Hi mattsnider! You've successfully authenticated, but GitHub does not provide shell access.
Connection to ssh.github.com closed.

Для подключения к прокси-серверу аутентификация не требуется.

Я также попытался установитьhttp_proxy а такжеhttps_proxy переменные среды:

http_proxy=http://proxy02.COMPANY_NAME.com:8080
https_proxy=http://proxy02.COMPANY_NAME.com:8080

У кого-нибудь есть идея относительно того, что я делаю неправильно и как я могу заставить это работать? Благодарю.

Ответы на вопрос(1)

Ваш ответ на вопрос