# 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