Extensions to Git's commit-graph feature, including reachability indexes / labels for the DAG of revisions