Re: [PATCH] glossary: add definitions for dereference & peel
- From
Kristoffer Haugsbakk <code@khaugsbakk.name>
- Date
- Nov 10, 2023, 08:28 UTC
- 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:
Show 5 quoted lines
> +[[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