[解決済み] カスタムSSHポートでのGit

質問

私のVPSプロバイダーは、SSHポートをデフォルトで割り当てられたカスタムポート番号（22ではない）にしておくことを勧めています。 リモート設定をするときにポート番号を指定できるのは知っていますが、git cloneをするときに同じことはできないようです。 私はgitoliteを使っているので、クローンコマンドは以下のような感じです。

git clone [email protected]:gitolite-admin

これをカスタム ssh ポート番号を使用するように変更する方法はありますか？

また、私はWindowsでcygwinを実行していることを述べておく。 私は複数の場所で、カスタムポートを ~/.ssh/config のようなファイルです。

Host mydomain.com
    Port 12345

しかし、cygwinでは、そのファイルは存在しないようです。

どうすればいいですか？

git clone ssh://[email protected]:[port]/gitolite-admin

<サブ なお、ポート番号は角括弧をつけずに記載します。[]