[mirrormanager] v1.4: umdl: don't make duplicate Repository objects (d03bebd)