openshift/origin-server — pull request #4821 by tdawson (2014-02-25 20:38:09+00:00)
Title: change mirror1.ops to mirror.ops

change mirror1.ops to mirror.ops, which is load balanced between servers