Unfortunately, @digitalocean were attacked today. Caused some issues with their DNS. They were transparent about it. Hope they recovered.