Updates to any repo settings should normally force a reindex. We need to alert the user to this and prompt if they want this to occur (on or directly after saving).