fix(server): reuse Git index metadata during checkpoint capture#10792

merged8

main

GitHub fork: fix/checkpoint-index-metadata

openedSep 8, 2026byIim-kvijay

View on GitHubTwo-way sync enabledPR last imported 4d ago

8 commits

Merge branch 'main' into fix/checkpoint-index-metadata

Krishna Vijay committed Sep 15, 2026

Merge main into fix/checkpoint-index-metadata

Krishna Vijay committed Sep 13, 2026

fix(server): preserve racy edits after checkpoint index reset

Krishna Vijay committed Sep 11, 2026

Merge branch 'main' into fix/checkpoint-index-metadata

Krishna Vijay committed Sep 11, 2026

fix(server): preserve racy index checks during checkpoint capture

Krishna Vijay committed Sep 11, 2026

Merge branch 'main' into fix/checkpoint-index-metadata

Krishna Vijay committed Sep 9, 2026

Merge branch 'main' into fix/checkpoint-index-metadata

Krishna Vijay committed Sep 8, 2026

fix(server): reuse Git index metadata during checkpoint capture

Krishna Vijay committed Sep 8, 2026