Сорри за оффтопик, но я уверен, что здесь есть опытные девопсеры, которые хотя бы могли дать подсказку. Я не понимаю этой формулировки "Под последними общими коммитами мы будем понимать такие коммиты, которые достижимы из обеих веток и при этом не достижимы ни из каких других коммитов достижимых из обеих веток.". Это значит, что это такие коммиты, которые являются общими для обеих веток, но при этом недостижимыми с других общих коммитов. Это значит, что они не должны быть их парентами или вообще никак не должны быть с ними связанными?