From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 14 Jun 2024 21:21:19 GMT
Subject: Re: [PATCH v2 3/3] show-ref: introduce --branches and deprecate --heads
Message-ID: <xmqq7cerdxv4.fsf@gitster.g>
In-Reply-To: <CABPp-BH3ZozGnDueK=J4QvZMYZkS13Gk+0rhe+Dywqbx1F30DA@mail.gmail.com>

Elijah Newren <newren@gmail.com> writes:

> If we are renaming --heads to --branches, should --head also be renamed?

I do not think so.  It is specifically about HEAD (the thing that
lives above refs/ hierarchy, historically implemented as a file
whose name is "HEAD" that is directly inside $GIT_DIR).

Thanks.