Re: git clone does not understand insteadOf URLs

From: Gioele Barabucci <gioele@svario.it>
Date: May 26, 2013, 18:21 UTC
Message-ID: <51A252B9.7040008@svario.it>
In-Reply-To: <20130526181430.GL27005@serenity.lan>

Il 26/05/2013 20:14, John Keeping ha scritto:

Show 13 quoted lines

> On Sun, May 26, 2013 at 08:09:56PM +0200, Gioele Barabucci wrote:
>> Il 26/05/2013 20:00, Andreas Schwab ha scritto:
>>>> Simple, I keep all my projects on the same server, so I would like to
>>>> refer to that server + path using 'remote-repo'.
>>>>
>>>> "git+ssh://git.example.org//users/gioele/projects" insteadOf "remote-repo"
>
> In what way do you think that `git remote add` handles the path?
>
> All `git remote add` does is add a new "remote.<name>.url" entry to the
> configuration file with the value as given on the command line.  The
> insteadOf mapping will only be applied when you try to fetch from/push
> to the remote.

Regardless of the implementation of the commands, if I do

     mkdir projectA
     cd projectA
     git init .
     git remote add origin remote-repo/projectA.git
     git pull origin master

I get a working repository. If I do

     git clone remote-repo/projectA.git

all I will get is an error.

I do not see any reason (UX-wise) why the two sequences of commands shouldn't work the same when used on the same URL.

Regards,

-- 
Gioele Barabucci <gioele@svario.it>