mirror of
https://github.com/git/git.git
synced 2026-03-01 19:16:25 +00:00
The ref-filter interfaces currently define root refs as either a detached HEAD or a pseudo ref. Pseudo refs aren't root refs though, so let's properly distinguish those ref types. Signed-off-by: Patrick Steinhardt <ps@pks.im> Signed-off-by: Junio C Hamano <gitster@pobox.com>
6.3 KiB
6.3 KiB