Hi Juino
On 06/02/2024 22:16, Junio C Hamano wrote:
- we do not want to say "pseudo refs", as I expect we would want to
show HEAD that is (unfortunately) classified outside "pseudoref"
class.
This is a bit of a tangent but I've been wondering what the practical
benefit of distinguishing between "HEAD" and "pseudoref" is. I don't
know the history so there may be a good reason but not classifying
"HEAD" as a "pseudoref" seems to make discussions like this more
complicated than they would be if "HEAD" were a "pseudoref". Would it be
beneficial to loosen the definition of "psuedoref" to remove the
restriction that they may not be symbolic refs or have a reflog?
Best Wishes
Phillip
