From: Darrin Thompson Date: Tue, 09 Aug 2005 23:26:41 GMT Subject: Re: [PATCH] Teach git push .git/branches shorthand Message-ID: <1123630001.3609.24.camel@localhost.localdomain> In-Reply-To: <200508081141.23242.Josef.Weidendorfer@gmx.de> On Mon, 2005-08-08 at 11:41 +0200, Josef Weidendorfer wrote: > Perhaps we should call it "remoterefs/" instead? > How about .git/peers/ ? -- Darrin