Re: Get rid of .git/branches/ and .git/remotes/?

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Nov 20, 2005, 23:58 UTC
Message-ID: <Pine.LNX.4.63.0511210054260.24828@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <200511210026.30280.Josef.Weidendorfer@gmx.de>

Hi,

On Mon, 21 Nov 2005, Josef Weidendorfer wrote:

Show 10 quoted lines

> On Sunday 20 November 2005 19:09, Linus Torvalds wrote:
> > 	[branches.origin]
> > 		url = master.kernel.org:/pub/scm/git/git.git
> > 		pull = master:origin
> 
> Two things:
> * base names are case insensitive. Repository shortcuts are case
> sensitive (and head names, too)
> * to get rid of .git/branches/XXX, XXX has to be allowed as
> base name. But XXX can contain anything a head name can (including ".").

Is it that important that nicks can be case sensitive or contain spaces or dots? I.e. is it sensible to make a difference between

	git pull Weidendorfer

and

	git pull weidendorfer
???

Also, I'd rather write

	git pull josef

than

	git pull "Josef Weidendorfer, III"

Show 7 quoted lines

> Not really a problem. Use the ' for ' syntax:
> 
> [remotes]
> 	url = master.kernel.org:/pub/scm/git/git.git for origin
> 	pull = master:origin for origin
> 
> Not really nice. We can not have "for" as head name.

Not really nice. Looks ugly. Violates DRY. ("for blabla" would not need to be a problem; just enforce quotes around the name.)

Ciao, Dscho