From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 08 Aug 2005 10:36:22 GMT
Subject: Re: [PATCH] Teach git push .git/branches shorthand
Message-ID: <Pine.LNX.4.63.0508081234300.32668@wgmdd8.biozentrum.uni-wuerzburg.de>
In-Reply-To: <200508081225.59949.Josef.Weidendorfer@gmx.de>

Hi,

On Mon, 8 Aug 2005, Josef Weidendorfer wrote:

> Your example defaults to the master head.

My point being that I still can say

	git pull x some_non_default_head

with a file "x" in .git/branches. Anyway, I don't care much either way, if 
it be "remotes/" or "remoterefs/" or 
"magic_mapping_for_remote_repositories/" or even "repositories/".

Ciao,
Dscho