I needed to figure out how to specify a different ssh port for git. Turns out it’s very easy.
Open up your ssh config file.
Add a new configuration declaration
Host git.example.org User your-user-name Port 22222
Save the new config and try that git clone again. It should work this time.