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 [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html
