On Tue, 4 Aug 2020 at 06:44, Eric Sunshine <sunshine@xxxxxxxxxxxxxx> wrote: > > 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: > > > > > -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. Yes, you're perfectly right, of course. Thanks Martin
