Provisioning production fails : no "Release file"

[swalkinshaw]

apt-get update should generally clear the sources cache.

Now I’m wondering if we should move from Digitalocean as the default mirror though. I think this is the second time they’ve had issues.