From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 20 Feb 2008 18:16:13 GMT
Subject: Re: [PATCH] fix "git push $there +HEAD"
Message-ID: <7vwsoz5w9e.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <alpine.LNX.1.00.0802201226560.19024@iabervon.org>

Daniel Barkalow <barkalow@iabervon.org> writes:

> ..., I think it would be better to have "<src>" 
> treated as "<src>:<resolve of <src>>" instead of as "<src>:<src>" in 
> match_refs(); and not do any special rewriting on the front end.

Wonderful.  That's hooking at the right layer.