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

2013-01-22 Thread Thomas Ackermann
> > 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? >

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

2013-01-22 Thread Junio C Hamano
Thomas Ackermann writes: >> * Documentation/git-credential.txt: >> TYPICAL USE OF GIT CREDENTIAL >> > This is to be debated because here all caps is used as "poor man's bold face" > and it would look odd if we write 'TYPICAL USE OF Git CREDENTIAL'? I left this as-is in my "fixup" commit, as th

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

2013-01-22 Thread Thomas Ackermann
> > I think it misses "GIT - the stupid content tracker" in README, but > probably it is OK (it is not an end-user facing documentation). > I only checked ./Documentation; but this should be changed also. > I noticed that these two places still use poor-man's small caps > after this patch. > Th

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

2013-01-21 Thread Junio C Hamano
Thomas Ackermann writes: > Git changed its 'official' system name from 'GIT' to 'Git' in v1.6.5.3 > (as can be seen in the corresponding release note where 'GIT' was > changed to 'Git' in the header line). So change every occurrence > of 'GIT" in the documention to 'Git'. > > Signed-off-by: Thoma

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

2013-01-21 Thread Thomas Ackermann
Git changed its 'official' system name from 'GIT' to 'Git' in v1.6.5.3 (as can be seen in the corresponding release note where 'GIT' was changed to 'Git' in the header line). So change every occurrence of 'GIT" in the documention to 'Git'. Signed-off-by: Thomas Ackermann --- Documentation/asciid