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

[Thomas Ackermann <th.acker@arcor.de>]

 
> 
> 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