Re: [PATCH v3 1/1] docs: highlight that .gitmodules does not support !command

[Petar Vutov <pvutov@xxxxxxx>]

Oops, this was supposed to go under 
<7090349c-4485-d5c4-1f26-190974864f72@xxxxxxx>..

Side question in this side thread: I was tempted to change the mention 
of "configuration variable" with "git-config variable", to highlight the 
narrow meaning of the term. But I grepped and that term is used 
everywhere in the documentation. Changing it only in this section would 
be inconsistent.

If I were to go through all those mentions and figure out which 
"configuration variable" mentions refer exclusively to `git-config`, wis 
there interest in changing them to something like "git-config variable" 
in a potential future patch? Or do we like the term "configuration 
variable"?