Maybe I was wrong. I thought OpenShift is a proprietary product, but they actually open source it.