--- tags: - puppet - ci - continuous-integration --- The `push_to_prod` script in `scripts/` handles the deployment of Puppet from the CI.