Puppet
======

There have been and still are several instances of Puppet PSI.

- ``pxeserv01`` (obsolete, no puppetmaster running)
- ``psi-puppet3`` (used by Controls-IT)
- ``psi-puppet4``