On Tue, Aug 4, 2020 at 12:29 AM Martin Ågren <martin.agren@xxxxxxxxx> wrote: > On Tue, 4 Aug 2020 at 02:56, Eric Sunshine <sunshine@xxxxxxxxxxxxxx> wrote: > > git-wortkree.txt: link to man pages when citing other Git commands > > s/wortkree/worktree/ in the subject of the final, new patch. Thanks. Perhaps Junio can tweak that when queuing, otherwise I'll fix it if I re-roll, otherwise it's minor enough that I won't worry about it if it makes it into permanent history. > I agree with all changes since v1, except ... > > > -By default, the repository "config" file is shared across all working > > +By default, the repository `config` file is shared across all working > > I don't think this is a filename (in which case it would have been > `.gitconfig?) but rather some sort of colloquial short form for > 'configuration file', thus '"config" file'. So I could see the double > quotes remain or being dropped, but I was surprised to see them > converted like this. I also thought at first that it was just shorthand for "configuration file", but then I realized that it's talking about the `.git/config` file, in which case it is an actual filename. So, I believe that quoting it with backticks is correct here.
