Błąd w git push heroku master przez ssh za proxy

Krótki kontekst:
Cześć, jestem studentem uniwersytetu (za proxy 10.3.100.211:8080), nowicjuszem w ROR, Git & Heroku i obserwuję samouczek Ruby on Rails. Rozwiązałem problem wypychania repozytorium git przez ssh, używając następującej konfiguracji w moim pliku ~ / .ssh / config (po tym działał on doskonale):

Host github.com  
Hostname ssh.github.com  
User git  
ProxyCommand corkscrew 10.3.100.211 8080 %h %p  
Port 443  

Problem:

Jednak w następstwiehttps://devcenter.heroku.com/articles/git aby użyć Heroku do wdrożenia aplikacji online, otrzymuję następujący błąd:

$git push heroku master
ssh: connect to host heroku.com port 22: Connection refused  
fatal: The remote end hung up unexpectedly  

Mój obecny status to: $ git remote -v

heroku  git@heroku.com:deep-dusk-1030.git (fetch)  
heroku  git@heroku.com:deep-dusk-1030.git (push)  
origin  git@github.com:shaileshgupta/testapp.git (fetch)  
origin  git@github.com:shaileshgupta/testapp.git (push)  

Czy ktoś może mi pomóc z github.com, jak np. Ustawienia dla heroku.com, które mają być zapisane w moim pliku ~ / .ssh / config, aby zapewnić bezproblemowe połączenie przez ssh za pośrednictwem proxy przy użyciu PORT 443/22.

Jakakolwiek pomoc będzie doceniona.

Aktualizacja (kilka dodatkowych informacji) Próbowałem następujących ustawień i otrzymałem następujące błędy:

Konfiguracja:

Host heroku.com  
  Hostname ssh.heroku.com  
  User git  
  ProxyCommand corkscrew 10.3.100.211 8080 %h %p  
  Port 443  

Błąd:

$ git push heroku master  
ssh_exchange_identification: Connection closed by remote host  
fatal: The remote end hung up unexpectedly  

Inna konfiguracja:

Host github.com, heroku.com  
  Hostname ssh.github.com  
  User git  
  ProxyCommand corkscrew 10.3.100.211 8080 %h %p  
  Port 443  

Błąd:

$ git push heroku master  
ERROR: Repository not found.  
fatal: The remote end hung up unexpectedly