# HG changeset patch # User wenzelm # Date 1614189293 -3600 # Node ID 43ce3b8a25eed237e4b85b3eff8a5cec20ba4bc7 # Parent 637e3e85cd6fd61f7ac3d4000f753a93ef63edf3 proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work; diff -r 637e3e85cd6f -r 43ce3b8a25ee Admin/Release/CHECKLIST --- a/Admin/Release/CHECKLIST Tue Feb 23 23:00:08 2021 +0100 +++ b/Admin/Release/CHECKLIST Wed Feb 24 18:54:53 2021 +0100 @@ -84,6 +84,9 @@ docker push makarius/isabelle:Isabelle2021 + docker tag ... latest + docker push makarius/isabelle:latest + https://hub.docker.com/r/makarius/isabelle https://docs.docker.com/engine/reference/commandline/push