title: git remote add with other SSH port
body: <p>In Git, how can I add a remote origin server when my host uses a different SSH port?  </p>
  
  <pre><code>git remote add origin ssh://user@host/srv/git/example
  </code></pre>