mirror of
https://github.com/git/git.git
synced 2026-03-15 11:10:07 +01:00
"head" is a reference in refs/heads/, while those labels mean HEAD, the latest revision of the default branch. Signed-off-by: Petr Baudis <pasky@suse.cz> Signed-off-by: Junio C Hamano <junkio@cox.net>
105 KiB
Executable File
105 KiB
Executable File