change mirror1.ops to mirror.ops, which is load balanced between servers
change mirror1.ops to mirror.ops, which is load balanced between servers
Merge pull request #4821 from tdawson/2014-02/tdawson/mirror-ha

Merged by openshift-bot