Aw: Re: Aw: Re: [PATCH v3 1/6] Change old system name 'GIT' to 'Git'

I left this as-is in my "fixup" commit, as the html and manpage
backends seem to typeset the section titles differently.  I however
have to wonder what the result will look like if we replaced it with

	Typical use of Git credential

Can you try and see how well it works?

The html and manpage backends both don't change the 'poor-man's bold face'
of the section titles and all the rest of the documentation uses this same style.
So we should leave this as is.

I'd really hate to see these patches posted again to the list and
asking for re-reviewing the whole thing.  Can we go incremental
while parking these original patches on 'pu', and later squash the
whole thing into two commits, or something?

Of course.


---
Thomas