Re: remote#branch

From: Linus Torvalds <torvalds@linux-foundation.org>
Date: Oct 29, 2007, 18:17 UTC
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