Re: [PATCH v2 3/3] show-ref: introduce --branches and deprecate --heads
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jun 14, 2024, 21:21 UTC
- 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.