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 - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
