A Puppet module for managing MySQL servers