Re: [PATCH] Teach git push .git/branches shorthand

From: Darrin Thompson <darrint@progeny.com>
Date: 2005-08-10 09:26:41
On Mon, 2005-08-08 at 11:41 +0200, Josef Weidendorfer wrote:
> Perhaps we should call it "remoterefs/" instead?
> 

How about .git/peers/ ?

--
Darrin


-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Received on Thu Aug 11 02:45:30 2005

This archive was generated by hypermail 2.1.8 : 2005-08-11 02:45:32 EST