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 message: [ Message body ]
Next message: Junio C Hamano: "Re: [PATCH] Fix git-rev-parse's parent handling"
Previous message: Chris Wright: "Re: Cannot install git RPM"
In reply to: Josef Weidendorfer: "Re: [PATCH] Teach git push .git/branches shorthand"
Next in thread: Junio C Hamano: "Re: [PATCH] Teach git push .git/branches shorthand"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

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