in src/main/java/com/googlesource/gerrit/plugins/batch/ssh/MergeChangeCommand.java [125:138]
protected boolean isParentMergedInto(PatchSetArgument psarg, ObjectId sha1)
throws IOException, RepositoryNotFoundException {
List<ObjectId> parents = getParents(psarg);
if (parents.isEmpty()) {
return true;
}
for (ObjectId parent : parents) {
Project.NameKey project = psarg.change.getDest().project();
if (isMergedInto(project, parent, sha1)) {
return true;
}
}
return false;
}