commit | a6d97d49e23382027efff8a8e90e69e0572620c6 | [log] [tgz] |
---|---|---|
author | Junio C Hamano <gitster@pobox.com> | Sat Jan 05 12:09:55 2008 -0800 |
committer | Junio C Hamano <gitster@pobox.com> | Sun Jan 06 18:41:43 2008 -0800 |
tree | d9cb3a0a7857a18f7825d44d6b65b3e3f1719942 | |
parent | 3023dc690f98f83b64cc6f2a9cc015bf2b01964a [diff] |
git-rev-parse --symbolic-full-name The plumbing level can understand that the user meant "refs/heads/master" when the user says "master" or "heads/master", but there is no easy way for the scripts to figure it out without duplicating the dwim_ref() logic. Signed-off-by: Junio C Hamano <gitster@pobox.com>