• 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