mirror of
https://github.com/git/git.git
synced 2025-12-12 20:36:24 +01:00
Move has_commit() from branch to a common location, in preparation for using it in "git-tag". Rename it to is_descendant_of() to make it more unique and descriptive. Signed-off-by: Jake Goulding <goulding@vivisimo.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
4.6 KiB
4.6 KiB