Thomas AckermannShow 9 quoted lines
> > 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.
Show 6 quoted lines
> > 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