我在我大学的代理服务器后面使用 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 推送到 heroku？（我猜测通过 SSH 推送会导致此问题并且端口 22 被阻止）