Re: What's cooking in git.git (May 2024, #05; Sat, 11)

[Junio C Hamano <gitster@pobox.com>]

Patrick Steinhardt <ps@pks.im> writes:

>> * ps/pseudo-ref-terminology (2024-05-10) 10 commits
>>  - refs: refuse to write pseudorefs
>>  - ref-filter: properly distinuish pseudo and root refs
>>  - refs: pseudorefs are no refs
>>  - refs: classify HEAD as a root ref
>>  - refs: root refs can be symbolic refs
>>  - refs: refname `is_special_ref()` to `is_pseudo_ref()`
>>  - refs: rename `is_pseudoref()` to `is_root_ref()`
>>  - Documentation/glossary: define root refs as refs
>>  - Documentation/glossary: clarify limitations of pseudorefs
>>  - Documentation/glossary: redefine pseudorefs as special refs
>> 
>>  Terminology to call various ref-like things are getting
>>  straightened out.
>> 
>>  Comments?
>>  source: <cover.1715330206.git.ps@pks.im>
>
> There have been a bunch of comments on these topics already, and overall
> they have been positive. Is there something specific that you want to
> see here?

I did not get the feeling that we have given the series enough time
to be seen and get commented on; indeed v4 has not got enough time
to get any comments yet?

Also you haven't responded either positively or negatively to
comments on v3 07/10 by Peff?