xenX should only be in PHX, we've got serverbeach[1-5] we should rename xen9 to tummy1.
Should it be enough to edit /etc/sysconfig/network, fix DNS, and run hostname tummy1.fedoraproject.org? If so, I can try to get this done (or let me know if I missed any steps).
This is done now.
Login to comment on this ticket.