glossary: add definitions for dereference & peel
commit893dce2ffbd4e38191f10c67781518acbc3f7b32
authorVictoria Dye <vdye@github.com>
Mon, 13 Nov 2023 23:17:51 +0000 (13 23:17 +0000)
committerJunio C Hamano <gitster@pobox.com>
Tue, 14 Nov 2023 00:49:33 +0000 (14 09:49 +0900)
treed0f6ac815031fa6f733aa80e89a7489bc22b699f
parent61a22ddaf0626111193a17ac12f366bd6d167dff
glossary: add definitions for dereference & peel

Add 'gitglossary' definitions for "dereference" (as it used for both symrefs
and objects) and "peel". These terms are used in options and documentation
throughout Git, but they are not clearly defined anywhere and the behavior
they refer to depends heavily on context. Provide explicit definitions to
clarify existing documentation to users and help contributors to use the
most appropriate terminology possible in their additions to Git.

Update other definitions in the glossary that use the term "dereference" to
link to 'def_dereference'.

Signed-off-by: Victoria Dye <vdye@github.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/glossary-content.txt