* remove the host from tor-nagios/config/nagios-master.cfg
* if applicable, stop the VM: virsh destroy $host
* if applicable, undefine it: virsh undefine $host
* if applicable, remove the LVM logical volumes or virtual disk files
* remove it from ud-ldap: the host entry and any @<host> group memberships there might be as well as any sudo passwords users might have configured for that host
* if it has any associated records in tor-dns/domains or auto-dns, remove it from there too
* on pauli: read x ; puppet node clean $x.torproject.org && puppet node deactivate $x.torproject.org
* grep the tor-puppet repo for the host (and maybe its IP addresses) and clean up
* clean host from tor-passwords
1. remove the host from tor-nagios/config/nagios-master.cfg
2. if applicable, stop the VM: virsh destroy $host
3. if applicable, undefine it: virsh undefine $host
4. if applicable, remove the LVM logical volumes or virtual disk files
5. remove it from ud-ldap: the host entry and any @<host> group memberships there might be as well as any sudo passwords users might have configured for that host
6. if it has any associated records in tor-dns/domains or auto-dns, remove it from there too
7. on pauli: read x ; puppet node clean $x.torproject.org && puppet node deactivate $x.torproject.org
8. grep the tor-puppet repo for the host (and maybe its IP addresses) and clean up
