Comment by javierbyte

DigitalOcean had DNS problems. It's fixed now.