* Penguin2 crash

This week the boot partition of P2 crashed. We have a few lessons here, not least having a fallback for all services ;)

* Tasks

- [ ] setup space.uthsc.edu for GN2 development
- [ ] update DNS to tux02 128.169.4.52 and space 128.169.5.175
- [ ] move CI/CD to tux02


* Notes