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. Thanks, Taylor
