Now this was annoying. I tried a git clone ssh://user@my.host:/path/to/repository and it failed with
Initialized empty Git repository in /current/path/repository/.git/
ssh: Could not resolve hostname my.host:: Name or service not known
fatal: The remote end hung up unexpectedly
(more…)