title: How to fix "fatal :unable to look up https (port 9418) (No such host is known)
body: <p>I am trying to push using git using:</p>
  
  <pre><code>git push -u origin --all
  </code></pre>
  
  <p>Here is my problem:</p>
  
  <pre><code>Fatal: unable to look up https (port 9418) (No such host is known. )
  </code></pre>
  
  <p>I ran <code>ping github.com</code> and got the IP, but I do not know what to do with them.</p>