On Wed, Jul 14, 2021 at 06:23:38PM -0400, Jeff King wrote: > On Wed, Jul 14, 2021 at 06:20:30PM -0400, Taylor Blau wrote: > > 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. I'm dubious that s,.git/config,$GIT_DIR/config,g would be an improvement in clarity if done across the whole file, and I'd rather be consistent than not. So I think that it's fine as is. Thanks, Taylor