Jak skonfigurować Corkscrew do połączenia z Github przez Draconian Proxy

Moja firma ma drakoński serwer proxy, który uniemożliwia mi usunięcie SSHing z serwerów, a tym samym uniemożliwia mi korzystanie z github. Ostatni dzień spędziłem na przykładach w sieci, takich jak

Jak korzystać z GitHub przez ostre serwery proxy?http://tachang.tumblr.com/post/22265579539/using-github-through-draconian-proxies-windows-and

Ale nic nie działa. Oto mój plik ~ / .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

To jest komunikat o błędzie, który otrzymuję, gdy próbuję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.

Otrzymuję ten sam niedozwolony błąd, gdy próbuję SSH na github.com, ale mogę ssh na ssh.github.com, jeśli określę swoją tożsamość:

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.

Nie ma potrzeby uwierzytelniania, aby połączyć się z serwerem proxy.

Próbowałem również ustawićhttp_proxy ihttps_proxy Zmienne środowiska:

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

Każdy ma pomysł co robię źle i jak mogę to zrobić? Dzięki.

questionAnswers(1)

yourAnswerToTheQuestion