Looks like @digitalocean is having a trouble with DNS. Might have issues getting to @craterio for a bit. I've moved DNS, but it takes time.
