From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 06 Nov 2020 19:33:51 GMT
Subject: Re: Extending and updating gitglossary
Message-ID: <xmqqa6vufffk.fsf@gitster.c.googlers.com>
In-Reply-To: <85zh3ujq9c.fsf_-_@gmail.com>

Jakub Narębski <jnareb@gmail.com> 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.