Я установил Heroku и настроил учетную запись, но не могу вставить в нее код своего приложения из-за прокси в моем университете.

Я пытался использовать решение, данное вэто нить и читаюэто страница о том, как заставить github работать через прокси, но я все еще получаю сообщение об ошибке:

$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)

Мой файл .ssh / config содержит:

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

Host git_heroku
  Hostname heroku.com
  User git
  Port 443

Соответствующая часть файла .git / config:

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

Я почти уверен, что что-то пропустил. Я надеюсь, что кто-то может указать, что.