Galaxy Updates and Dev/OpsGalaxy Prod/Dev Environments Split Thanks to puppet and supervisord, the CPT Galaxy environments were easily split into production and development servers, to ensure updates and new software is tested before going live for all CPT staff/faculty/students to use.