Re: [PATCH] Teach git push .git/branches shorthand
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Aug 8, 2005, 10:36 UTC
- Message-ID
- <Pine.LNX.4.63.0508081234300.32668@wgmdd8.biozentrum.uni-wuerzburg.de>
- In-Reply-To
- <200508081225.59949.Josef.Weidendorfer@gmx.de>
Hi,
On Mon, 8 Aug 2005, Josef Weidendorfer wrote:
> Your example defaults to the master head.
My point being that I still can say
git pull x some_non_default_head
with a file "x" in .git/branches. Anyway, I don't care much either way, if it be "remotes/" or "remoterefs/" or "magic_mapping_for_remote_repositories/" or even "repositories/".
Ciao, Dscho