[解決済み] 他のSSHポートでgit remote add

質問

Git で、ホストが異なる SSH ポートを使用している場合、リモートオリジンサーバーを追加するにはどうすればよいですか？

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

解決方法は？

こうすればいいんです。

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

1234 は使用されているsshポートです