In Git, how can I add a remote origin server when my host uses a different SSH port?

git remote add origin ssh://user@host/srv/git/example

You can just do this:

git remote add origin ssh://user@host:1234/srv/git/example

1234 is the ssh port being used