index: fix partial reindexing to not lose commits only reachable from one side#2735

Merged

yuja merged 1 commit intojj-vcs:mainfrom yuja:push-myyqtkmplvyk

Dec 24, 2023

+63-10

Commits on Dec 23, 2023

index: fix partial reindexing to not lose commits only reachable from one side
yuja
committed