title: ssh: Could not resolve hostname github: nodename nor servname provided, or not known
body: <p>I followed instructions here to the letter
  <a href="https://docs.github.com/en/authentication/connecting-to-github-with-ssh" rel="nofollow noreferrer">https://docs.github.com/en/authentication/connecting-to-github-with-ssh</a></p>
  <p>I run the following (my username entered at <code>&lt;myname&gt;</code> )</p>
  <pre><code>git remote add origin git@github.com:&lt;myname&gt;/aws-bootstrap.git
  </code></pre>
  <p>I then get <code>fatal: remote origin already exists.</code></p>
  <p>Then I run <code>git push -u origin master</code></p>
  <pre><code>ssh: Could not resolve hostname github: nodename nor servname provided, or not known
  fatal: Could not read from remote repository.
  
  Please make sure you have the correct access rights
  and the repository exists.
  </code></pre>
  <p>Any ideas what could be wrong?</p>