In the current version, the indexed revision number (the last revision indexed) is stored in the river data, but not in the index created.
If possible, it would make more sense to move it to the index, and could allow to delete/recreate rivers without having to reindex the whole repository.
In the current version, the indexed revision number (the last revision indexed) is stored in the river data, but not in the index created. If possible, it would make more sense to move it to the index, and could allow to delete/recreate rivers without having to reindex the whole repository.