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