Small optimization in ZincRepo: don't rewrite index if nothing changed