Decide what to do with puppet-git.lizard now that it doesn't host our Puppet Server
Maybe we should:
- rename the VM (but then we need to know the implications of this to understand the size of the task).
- delete
puppet-lizard-manifests.git
, since we now push directly to the Git repo in the Puppet Server VM.
Edited by Zen Fu