mirror of
https://github.com/git/git.git
synced 2026-02-28 18:48:50 +00: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