Sorry if this is the wrong place to write this but... I don't see any announcements/news about it anywhere, so I thought I would mention it here.
To me http://docker.elastic.co has been down for at least a few days now. https://downforeveryoneorjustme.com/docker.elastic.co also thinks it's down.
Any ideas when it will be back up?
If it matters.
$ host docker.elastic.co
docker.elastic.co is an alias for container-registry.elastic.co.
container-registry.elastic.co has address 126.96.36.199
container-registry.elastic.co has address 188.8.131.52