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

1 messages from 2013-01-22 to 2013-01-22. Participants: Thomas Ackermann.
Thread: https://gitlist.dev/t/32693

## Thomas Ackermann, 2013-01-22 18:27

Subject: Aw: Re: Aw: Re: [PATCH v3 1/6] Change old system name 'GIT' to 'Git'
Message-ID: <166890920.792266.1358879225366.JavaMail.ngmail@webmail06.arcor-online.net>
URL: https://gitlist.dev/e/166890920.792266.1358879225366.JavaMail.ngmail%40webmail06.arcor-online.net

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

```