It's a good idea to be doing mirroring anyway if your business depends on it. Otherwise the original repo disappearing (or corrupted otherwise) or network going

It's a good idea to be doing mirroring anyway if your business depends on it. Otherwise the original repo disappearing (or corrupted otherwise) or network going down is going to hit your productivity. And things are faster with mirroring. And yes, it's annoying, but a workaround exists.