# HG changeset patch
# User wenzelm
# Date 1560111821 -7200
# Node ID 312e4a40db017ec76dfc71798e5ccba7b3ee0520
# Parent  8dce5eed599364628b488208932e9919bd152cfd
proper URL;

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