From: Kristoffer Haugsbakk <code@khaugsbakk.name>
Date: Fri, 10 Nov 2023 08:28:53 GMT
Subject: Re: [PATCH] glossary: add definitions for dereference & peel
Message-ID: <39db75f3-1496-49fc-a346-010ff8ef093c@app.fastmail.com>
In-Reply-To: <pull.1610.git.1699574277143.gitgitgadget@gmail.com>

On Fri, Nov 10, 2023, at 00:57, Victoria Dye via GitGitGadget wrote:
> +[[def_peel]]peel::
> +	Synonym for object <<def_dereference,dereference>>. Most commonly used
> +	in the context of tags, where it refers to the process of recursively
> +	dereferencing a <<def_tag_object,tag object>> until the result object's
> +	<<def_object_type,type>> is something other than "tag".

As a user I like that this is classified as a synonym. Because if I wanted
to ask StackOverflow about how to get to the commit that a tag points to
then I would use the term “dereference a tag”.

-- 
Kristoffer Haugsbakk