
We now have more formal hosting for this under an OpenShift employee account so we can set up a proper DNS entry for it. This change updates the documentation to reflect the new address. Change-Id: Id68f3d519522b041a7fea5a643a9f961786e1006
We now have more formal hosting for this under an OpenShift employee account so we can set up a proper DNS entry for it. This change updates the documentation to reflect the new address. Change-Id: Id68f3d519522b041a7fea5a643a9f961786e1006