git/list[1] front-page[2] threads[3] people[4] search[5] about
 

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

From
Thomas Ackermann <th.acker@arcor.de>
Date
Jan 22, 2013, 18:27 UTC
Message-ID
<166890920.792266.1358879225366.JavaMail.ngmail@webmail06.arcor-online.net>
Show 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

Message 1 of 1 in “Aw: Re: Aw: Re: [PATCH v3 1/6] Change old system name 'GIT' to 'Git'”
  1. Thomas AckermannJan 22, 2013

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.