Emergency server reboot
We’ve encountered a problem that requires an unscheduled reboot of one of our primary virtual machine servers. This reboot will take out some core services briefly. Until things come back, many websites, git repos, mailing lists, and other services will not respond correctly. I’ll send an update when it’s resolved.