The service provider of dev1-compact (Digital Ocean) had an issue with their block storage in the region where the server resides (FRA1). After being made aware of the issue, they were able to resolve it on their side, and when restarted, dev1-compact was brought fully back online.
If you were connecting via SSH to dev1-compact, you will see an error similar to this:
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
@ WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED! @
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
This is expected, please delete the old line from your known_hosts
file and re-attempt your connection.