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

From: Stefan Näwe <stefan.naewe@atlas-elektronik.com>
Date: Sep 27, 2013, 08:55 UTC
Message-ID: <524547E8.4070406@atlas-elektronik.com>
In-Reply-To: <87vc1mg01t.fsf@aeneas.oslo.osa>

Am 27.09.2013 10:07, schrieb Morten Stenshorne:

Show 19 quoted lines

> I've just upgraded to Debian testing (jessie), and with that I got a
> brand new (for me) git version:
> 
>     $ git --version
>     git version 1.8.4.rc3
> 
> Some of my repos I use an ssh tunnel to reach, so when I want to reach a
> repo forwarded to local port 2223, using the ssh protocol, the following
> used to work (.git/config) in older git versions:
> 
>     [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.

Stefan

-- 
----------------------------------------------------------------
/dev/random says: Don't ask me, I have random access memory.
python -c "print '73746566616e2e6e616577654061746c61732d656c656b74726f6e696b2e636f6d'.decode('hex')"