Я пытаюсь проверить, является ли коммит предком коммита, на который указывает HEAD. С git я использую следующее:
Начиная с Git 1.8.0 это поддерживается в качестве опции для базы слияния:
git merge-base --is-ancestor <maybe-ancestor-commit> <descendant-commit>
Со страницы руководства:
--is-предок
Проверьте, является ли первый предком второго, и выйдите со статусом 0, если >true, или со статусом 1, если нет. Ошибки сигнализируются ненулевым статусом, который > не равен 1.
Однако с помощью jgit я не могу найти способ использовать команду merge-base с параметром -is--ancestor.