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

Re: Which content is not indexed?

From
Paulo J. Matos <pocm@soton.ac.uk>
Date
Apr 21, 2008, 11:29 UTC
Message-ID
<11b141710804210429q465c24dfp1f8d71a030023688@mail.gmail.com>
In-Reply-To
<480C794D.9010006@gnu.org>
On Mon, Apr 21, 2008 at 12:23 PM, Paolo Bonzini <bonzini@gnu.org> wrote:
>  Or: "git citool".  The "graphical commit" tool is actually pretty useful to
> review what's in the index and what's not.
>
Great! Thanks for the tip!
>  Paolo
>
>
>
-- 
Paulo Jorge Matos - pocm at soton.ac.uk
http://www.personal.soton.ac.uk/pocm
PhD Student @ ECS
University of Southampton, UK
Sponsor ECS runners - Action against Hunger:
http://www.justgiving.com/ecsrunslikethewind
Previous: Paolo Bonzini
Message 5 of 5 in “Which content is not indexed?”
  1. Paulo J. MatosApr 20, 2008
  2. Thomas AdamApr 20, 2008
  3. Paulo J. MatosApr 20, 2008
  4. Paolo BonziniApr 21, 2008
  5. Paulo J. MatosApr 21, 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.