repo-settings: read an int for index.version