# 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