diff -r 8dce5eed5993 -r 312e4a40db01 Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Sun Jun 09 22:22:36 2019 +0200
+++ b/Admin/Release/CHECKLIST	Sun Jun 09 22:23:41 2019 +0200
@@ -80,7 +80,7 @@
   isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2019 Isabelle2019_linux.tar.gz
 
   https://hub.docker.com/r/makarius/isabelle
-  https://docs.docker.com/docker-cloud/builds/push-images
+  https://docs.docker.com/engine/reference/commandline/push
 
 
 Post-release