Re: [PATCH] user-manual.txt: Some doc updates

On 4/19/07, J. Bruce Fields [off-list ref] wrote:

On Thu, Apr 19, 2007 at 12:07:01PM -0400, Nicolas Pitre wrote:

quoted

On Thu, 19 Apr 2007, J. Bruce Fields wrote:

quoted

It was a conscious decision to use a mixture of the two techniques; see,
e.g.,

    http://marc.info/?l=git&m=116994435503452&w=2

and followups.

Maybe it should be said more explicitly that both are fine.

Yes.  If I were to do that I'd do it by first rewriting the DESCRIPTION
section of git-config.txt to make this point clearer, then making sure
there's a gitlink:git-config[1] everywhere there should be in the
manual.  But we could also add a sentence in the manual here.

At least it should not overwrite the old contents of the file, as in
the above mail, tell to edit the file instead of the cat >~/.gitconfig
<<EOF structure.

Santi