mirror of
https://github.com/git/git.git
synced 2026-03-05 23:09:04 +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>
2.4 KiB
2.4 KiB