From: Derrick Stolee <stolee@gmail.com>
Date: Mon, 25 Oct 2021 15:31:45 GMT
Subject: Re: [PATCH 0/3] Documentation: change "folder" to "directory"
Message-ID: <74e5e039-b259-644a-9566-c866d72cf638@gmail.com>
In-Reply-To: <cover.1635094161.git.martin.agren@gmail.com>

On 10/24/2021 1:09 PM, Martin Ågren wrote:
> It is my understanding that we prefer "directory" over "folder" when
> discussing the file system concept. (Whereas "folder" is commonly used
> for the GUI view of such a directory, or for an IMAP folder.)
> 
> I stumbled on a mention of the ".git folder" when going through the
> doc-diff between v2.33.0 and 9d530dc002 ("The fourteenth batch",
> 2021-10-18), and started looking around. This series is the outcome.

Thanks for these changes, in particular for the ones that I had
introduced in git-multi-pack-index.txt.

Thanks,
-Stolee