Subject: Re: Extending and updating gitglossary

From: Junio C Hamano <[email-masked]>
Date: Fri, 06 Nov 2020 11:33:51 -0800

Jakub Narębski <[email-masked]> writes:

> I don't think adding technical terms that the user won't encounter in
> the documentation or among messages that Git outputs would be not a good
> idea.  It could confuse users, rather than help them.
>
> Conversely, perhaps we should add Documentation/technical/glossary.txt
> to help developers.

Thanks for a thoughtful suggestion to help the target audience.  I
agree 100% with the above two paragraphs.