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

> 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?