Re: remote#branch

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Oct 31, 2007, 03:08 UTC
Message-ID: <Pine.LNX.4.64.0710310304180.4362@racer.site>
In-Reply-To: <20071031014347.GB23274@coredump.intra.peff.net>

Hi,

On Tue, 30 Oct 2007, Jeff King wrote:

> Anyway, to recap (my impression of) the discussion leading up to this:
>   - the cogito feature is useful
>   - the cogito syntax does not allow for multiple branches to be
>     specified

Here somebody else than me (IIRC Junio) proposed this syntax:

	git clone --track <name> [--track <name2>] <url>

Nobody was interested enough to implement it.

I then proposed delimiting with spaces, since they were _not part of a URL_:

	git clone "<url> <name> <name2>"

but some people insisted on "#", which I pointed out (several times!) is a no go, and I actually provided reasons for that.

Show 9 quoted lines

>   - one such syntax proposed was git://foo.tld/bar.git#blue,red
>   - one problem with that syntax is that comma is a valid character
>     in the branch name, and '#' is a valid character in the repo name
>   - one proposed solution was that '#' and ',' when used as data should
>     be URL-encoded
>   - flamefest begin
> 
> So I think nobody disagrees that such a feature is useful; there is
> disagreement about the syntax.

Probably there is not enough need, too, and the discussion will peter out again, without anybody letting some code talk, and I will not make the mistake again of reviving this discussion. Promise.

Ciao, Dscho