From: Justin Tobler <jltobler@gmail.com>
Date: Wed, 15 May 2024 20:44:29 GMT
Subject: Re: [PATCH v5 07/10] refs: classify HEAD as a root ref
Message-ID: <z5q2mk7c5d63gapkbeeuqa42sw2txbc65zmsgmel6u7llffrlz@yvkrj6d7xl3u>
In-Reply-To: <b719fb7110249e88b80e0cd9943a2d864b18d0e0.1715755591.git.ps@pks.im>

On 24/05/15 08:50AM, Patrick Steinhardt wrote:
> Root refs are those refs that live in the root of the ref hierarchy.
> Our old and venerable "HEAD" reference falls into this category, but we
> don't yet classify it as such in `is_root_ref()`.
> 
> Adapt the function to also treat "HEAD" as a root ref. This change is
> safe to do for all current callers:

I like that this change gives HEAD a proper home now. :)