For reference, the MySQL cartridge PR is here: https://github.com/openshift/origin-server/pull/4449