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