git URLs for private repos

[mralusw]

It looks like one can only use git@host:PATH URLs, not user@host:PATH (nor, for that matter, [git+]ssh://user@host:port/PATH, useful since SSH should at least run on a different port for a private host; this can, however, be emulated via ~/.ssh/config)

At least the git@host: form should be relaxed to user@host: