From: Linus Torvalds <torvalds@linux-foundation.org>
Date: Mon, 29 Oct 2007 18:17:12 GMT
Subject: Re: remote#branch
Message-ID: <alpine.LFD.0.999.0710291112590.30120@woody.linux-foundation.org>
In-Reply-To: <20071029174000.GA4449@efreet.light.src>



On Mon, 29 Oct 2007, Jan Hudec wrote:
> 
> If the branch names are not url-escaped, than the result is not an URL. Which
> is just ugly and confusing. If it looks like an URL, it should better be one.

Git remote names already aren't "url"s in the http sense. 

We say "master:some.host/file/goes here/without/any/stupid/web-escapes" 
for the ssh names, and the same goes for "file:///name here" etc.

People who think that git URL's are web-pages had better wake up and smell 
the coffee. They aren't. They never were. They never *should* be.

This whole argument is idiotic. The #branch format was a mistake of 
cogito. Cogito is dead. Get over it already.

We have a format already, and it has nothing to do with '#' or any idiotic 
web escape, or anything else.

			Linus