repo_read_index: don't discard the index