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

Re: [PATCH 02/12] git-grep: support --no-external-grep

From
Petr Baudis <pasky@suse.cz>
Date
Jul 23, 2008, 19:01 UTC
Message-ID
<20080723190129.GM32184@machine.or.cz>
In-Reply-To
<20080723145744.GA29156@laptop>
  Hi,
  the patches 2, 3, 8 and 10 of your series introduce config options,
commandline switches and environment variables that are not documented
anywhere - can you please include documentation updates in your patch
series as well? It might be worth it to find some suitable place in the
documentation where to explain the concept itself; it took me quite
sometime before I actually realized (I think) what are your patches
about. (Which is also why is it useful to write cover letters for
patch series.)
-- 
				Petr "Pasky" Baudis
As in certain cults it is possible to kill a process if you know
its true name.  -- Ken Thompson and Dennis M. Ritchie
Previous: Nguyễn Thái Ngọc DuyNext: Petr Baudis
Message 2 of 3 in “git-checkout: support --full and --path to manipulate sparse checkout”
  1. 10/12 git-checkout: support --full and --path to manipulate sparse checkoutNguyễn Thái Ngọc Duy, Jul 23, 2008
  2. Petr BaudisJul 23, 2008
  3. Petr BaudisJul 23, 2008

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.