mirror of
https://github.com/git/git.git
synced 2025-12-18 12:00:25 +01:00
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>
12 KiB
12 KiB