mirror of
https://github.com/git/git.git
synced 2026-01-13 04:06:01 +00: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