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