Push Heroku über Proxy-Server

Question

Ich habe Heroku installiert und ein Konto einrichten, aber kann nicht Code für meine App auf es aufgrund eines Proxy in meiner Universität drücken.

Ich habe versucht, die Lösung in this Thread gegeben mit und ich las this Seite über Github immer über einen Proxy zu arbeiten, aber ich habe noch eine Fehlermeldung erhalten, die lautet:

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

$git remote -v 
heroku git_heroku:secret-hamlet-7718.git (fetch) 
heroku git_heroku:secret-hamlet-7718.git (push) 
origin https://github.com/saasbook/hw2_rottenpotatoes.git (fetch) 
origin https://github.com/saasbook/hw2_rottenpotatoes.git (push) 

Meine .ssh/config-Datei enthält:

ProxyCommand corkscrew [proxy_address] [proxy_port] %h %p 

Host git_heroku 
    Hostname heroku.com 
    User git 
    Port 443 

der relevante Teil der .git/config-Datei:

[remote "heroku"] 
    url = git_heroku:secret-hamlet-7718.git 
    fetch = +refs/heads/*:refs/remotes/heroku/* 

Ich bin mir ziemlich sicher, dass ich etwas verpasst habe. Ich hoffe, dass jemand darauf hinweisen kann.

Answer 1

Ändert Ihre [remote "heroku"] zu dieser Hilfe?

[remote "heroku"] 
    url = git@heroku:secret-hamlet-7718.git 
    fetch = +refs/heads/*:refs/remotes/heroku/* 

Answer 2

Sie könnten versuchen, die Proxycommand im Host Abschnitt setzen:

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