From: David Kastrup <dak@gnu.org>
Date: Mon, 16 Jul 2007 08:55:35 GMT
Subject: A question about git-rev-list
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