On Wed, Jul 14, 2021 at 06:20:30PM -0400, Taylor Blau wrote: > On Wed, Jul 14, 2021 at 05:37:29PM -0400, Jeff King wrote: > > -f config-file:: > > --file config-file:: > > - Use the given config file instead of the one specified by GIT_CONFIG. > > + For writing options: write to the specified file rather than the > > + repository `.git/config`. > > I wonder whether or not we should write "rather than the repository > `$GIT_DIR/config`" instead of `.git/config`. The former is true for bare > repositories, too, but may in fact be more confusing than what you have > writen so clearly. > > Perhaps `.git/config` is clear enough; I definitely don't feel strongly > about it. Yes, I noticed that, too. This is copied verbatim from the other options, so if we were to do that, it should be done on top across the whole file. -Peff
