diff options
| author | Junio C Hamano <gitster@pobox.com> | 2008-01-05 12:09:55 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-01-06 18:41:43 -0800 |
| commit | a6d97d49e23382027efff8a8e90e69e0572620c6 (patch) | |
| tree | d9cb3a0a7857a18f7825d44d6b65b3e3f1719942 /commit.h | |
| parent | 3023dc690f98f83b64cc6f2a9cc015bf2b01964a (diff) | |
| download | git-a6d97d49e23382027efff8a8e90e69e0572620c6.tar.gz | |
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>
Diffstat (limited to 'commit.h')
0 files changed, 0 insertions, 0 deletions