mirror of
https://github.com/git/git.git
synced 2026-03-01 19:16:25 +00:00
These things in refs/heads/ hierarchy are called "branches" in human parlance. Replace REF_HEADS with REF_BRANCHES to make it clearer. No end-user visible change intended at this step. Signed-off-by: Junio C Hamano <gitster@pobox.com>
38 KiB
38 KiB