Re: [PATCH] Teach git push .git/branches shorthand
- From
- Darrin Thompson <darrint@progeny.com>
- Date
- Aug 9, 2005, 23:26 UTC
- 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