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