* Aw: Re: Aw: Re: [PATCH v3 1/6] Change old system name 'GIT' to 'Git'
@ 2013-01-22 18:27 Thomas Ackermann
0 siblings, 0 replies; only message in thread
From: Thomas Ackermann @ 2013-01-22 18:27 UTC (permalink / raw)
To: gitster, th.acker; +Cc: davvid, 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2013-01-22 18:27 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-01-22 18:27 Aw: Re: Aw: Re: [PATCH v3 1/6] Change old system name 'GIT' to 'Git' Thomas Ackermann
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox