From: Phil Hord <phil.hord@gmail.com>
Date: Fri, 27 Sep 2013 14:31:35 GMT
Subject: Re: Bug: [hostname:port]:repo.git notation no longer works (for ssh)
Message-ID: <CABURp0pNcLEELwg-putH_Wtab-gTrMXTB7uGPMZSLfgXnFttew@mail.gmail.com>
In-Reply-To: <87vc1mg01t.fsf@aeneas.oslo.osa>

On Fri, Sep 27, 2013 at 4:07 AM, Morten Stenshorne <mstensho@opera.com> wrote:
> If I don't go via the ssh tunnel (I finally have some VPN stuff these
> days, so I don't really need the tunnel thing anymore, but that's going
> to be a lot of remotes to update, so I'd prefer it just worked like it
> used to):
>
> -            url = [localhost:2223]:blink.git
> +            url = git:blink.git
>
> ... it works fine.


Until you get a proper fix, I wonder if this will help:

  git config --global --add url."git:".insteadOf  "[localhost:2223]:"

See "git help config" for details on the insteadOf config setting.

Phil