Skip to content

indexserver: preserve forced reindexing#1060

Merged
keegancsmith merged 1 commit into
mainfrom
k/force-reindex
May 14, 2026
Merged

indexserver: preserve forced reindexing#1060
keegancsmith merged 1 commit into
mainfrom
k/force-reindex

Conversation

@keegancsmith
Copy link
Copy Markdown
Member

@keegancsmith keegancsmith commented May 13, 2026

The default for zoekt-git-index has always been true for incremental. However, we originally used to use zoekt-archive-index which defaulted to false for incremental. This meant that since we stopped using archive index (5 years ago!) forcing non-incremental indexing has always lead to incremental indexing. 😬

@keegancsmith keegancsmith changed the title fix/indexserver: preserve forced reindexing indexserver: preserve forced reindexing May 13, 2026
The default for zoekt-git-index has always been true for incremental.
However, we originally used to use zoekt-archive-index which defaulted
to false for incremental. This meant that since we stopped using archive
index (5 years ago!) forcing non-incremental indexing has always lead to
incremental indexing.
@keegancsmith keegancsmith marked this pull request as ready for review May 13, 2026 10:51
@keegancsmith keegancsmith merged commit 327cf11 into main May 14, 2026
7 checks passed
@keegancsmith keegancsmith deleted the k/force-reindex branch May 14, 2026 07:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants