SV: inconsistencies in repositories