mirror of
https://github.com/git/git.git
synced 2026-03-10 09:08:40 +01:00
Many places in the documentation we still talked about reading what commit is recorded in .git/HEAD or writing the new head information into it, both assuming .git/HEAD is a symlink. That is not necessarily so. Signed-off-by: Junio C Hamano <junkio@cox.net>
24 KiB
24 KiB