Re: Bug: [hostname:port]:repo.git notation no longer works (for ssh)

On Fri, Sep 27, 2013 at 3:55 PM, Stefan Näwe
[off-list ref] wrote:

quoted

    [remote "exp"]
            url = [localhost:2223]:blink.git
            fetch = +refs/heads/*:refs/remotes/exp/*

However, now I get this message:

    $ git fetch exp
    fatal: ':blink.git' does not appear to be a git repository
    fatal: Could not read from remote repository.

I wonder why that worked (especially the "[...]") at all ?
I thought specifying a port for a SSH connection was always only
possible when using

       ssh://user@host:port/path/to/repo.git
- or -
       ssh://user@host:port/~user/path/to/repo.git

At least that's what I always read out of the git-clone man page.

[] is used to wrap ipv6 and because we don't know if it's actually
ipv6 or v4, we accept it in both cases, so [abc] can be used in place
"host" above. No [host:port]:path won't work because "host:port" is
considered host name. But [host or ip]:path may work (that is after I
fix my bug).
-- 
Duy