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

A question about git-rev-list

From
David Kastrup <dak@gnu.org>
Date
Jul 16, 2007, 08:55 UTC
Message-ID
<86wsx0wwvs.fsf@lola.quinscape.zz>
Hi,
if I do
git-rev-list --remove-empty HEAD --not some-commit -- filename | tail -1

do I have any guarantee that the commit id I get (if any) is a direct descendant of some-commit? I _think_ --remove-empty might be necessary for that option, but have no idea whether this hunch is correct. Do I need additional options like --topo-order, or is that unnecessary?

Thanks,
-- 
David Kastrup
Next: Linus Torvalds
Message 1 of 4 in “A question about git-rev-list”
  1. David KastrupJul 16, 2007
  2. Linus TorvaldsJul 16, 2007
  3. David KastrupJul 16, 2007
  4. Junio C HamanoJul 17, 2007

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.