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