Re: [PATCH] fix "git push $there +HEAD"

Daniel Barkalow [off-list ref] 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.