Я использую git за прокси-сервером в моем университете. Пытаясь выполнить

git push heroku master

Я получаю ошибку

ssh: connect to host proxy.heroku.com port 22: Bad file number
fatal: The remote end hung up unexpectedly

У меня была похожая проблема при нажатии на git ранее, но она была решена с помощью их умного HTTP. Из того, что я прочитал до сих пор, похоже, что проблема в сети. Как я могу это исправить? Есть ли способ подтолкнуть к героку, используя HTTP? (Я предполагаю, что проталкивание через SSH вызывает эту проблему и что порт 22 заблокирован)