Push to heroku through Proxy server

Question

I have installed Heroku and set up an account but cannot push code for my app onto it, due to a proxy in my university.

I tried using the solution given in this thread and I read this page about getting github to work through a proxy, but I still get an error, which is:

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

My .ssh/config file contains:

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

Host git_heroku
  Hostname heroku.com
  User git
  Port 443

The relevant portion of .git/config file:

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

I am pretty sure I have missed something. I hope someone can point out what.

You may try to connect to Heroku via tunneling. Please refer to [here](http://stackoverflow.com/questions/14877088/connecting-to-heroku-using-port-443/19536371#19536371) — AzizSM, Oct 24 '13 at 06:38

score 1 · Answer 1 · answered Feb 05 '13 at 20:32

1

Does changing your [remote "heroku"] to this help?

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

answered Feb 05 '13 at 20:32

catsby

11,276
3
37
37

score 0 · Answer 2 · answered Feb 05 '13 at 21:13

0

You could try and put the ProxyCommand within the Host section:

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

answered Feb 05 '13 at 21:13

VonC

1,262,500
529
4,410
5,250

Push to heroku through Proxy server

2 Answers2

Linked