title: Getting error while trying to push to Heroku
body: <p>When I type in "git push heroku master" I get an error that says:</p>
  
  <p>ssh: Could not resolve hostname heroku.com: nodename nor servname provided, or not known</p>
  
  <p>I am on my computer at work and I believe this problem has to do with proxies/firewall. Does anybody know of a way around this error in the command line? Or any other type of fix? Thanks.</p>